VLDB 2026 Research / reviewers in the wild / expert
Eduardo Geraldo
dblp:247/9664
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Data-Dependent Confidentiality in DCR GraphsabstractWe 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 |
PPDP | 1 |
| 2022 | SNITCH: A Platform for Information Flow Control
Eduardo Geraldo |
IFM | 1 |
| 2021 | Hybrid Information Flow Control for Low-Level Code
Eduardo Geraldo, José Fragoso Santos, João Costa Seco |
SEFM | 1 |