Eduardo Henrique Geraldo


AuthID: R-000-Y5Q

Publications Requiring Validation

1
TITLE: SNITCH: A Platform for Information Flow Control
AUTHORS: Geraldo, Eduardo;
PUBLISHED: 2022, SOURCE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274
INDEXED IN: Scopus WOS

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service