Eduardo Geraldo

dblp:247/9664 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
3since 2021 · last 2023
0009-0009-9915-3405ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3 · 3 first-author · 3 since 2021Theory of computation · 2 · 2 first-author · 2 since 2021
YearPublicationVenuePosition
2023 Data-Dependent Confidentiality in DCR Graphs
abstract
We present DCRSec, a confidentially aware declarative process language with data that employs data-dependent security levels and an information flow monitor that prevents the violation of information flow policies. Data-dependent security levels have been used to shape precise information flow policies and properly identify security compartments. We use an illustrative example to show that it also models process instances in a flexible but precise way.
Eduardo Geraldo, João Costa Seco, Thomas T. Hildebrandt
PPDP1
2022 SNITCH: A Platform for Information Flow Control
Eduardo Geraldo
IFM1
2021 Hybrid Information Flow Control for Low-Level Code
Eduardo Geraldo, José Fragoso Santos, João Costa Seco
SEFM1