Eduardo Geraldo

According to our database, Eduardo Geraldo authored at least 5 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Data-Dependent Confidentiality in DCR Graphs.

Eduardo Geraldo, João Costa Seco, Thomas T. Hildebrandt

Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

2022

SNITCH: A Platform for Information Flow Control.

Eduardo Geraldo

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

Hybrid Information Flow Control for Low-Level Code.

Eduardo Geraldo, José Fragoso Santos, João Costa Seco

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

2020

Gradual value-dependent information flow control.

Eduardo Geraldo

Proceedings of the SPLASH '20: Conference on Systems, 2020

2018

SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode.

Eduardo Geraldo, João Costa Seco

Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, 2018