Search

Who We Are
What We Do
Problem and Goal Policies Mechanisms Metrics Optimizations
Projects
SEVER&PROTECT
Publications
News
Standards and Interfaces
Contact

Cătălin Hriţcu

Latest

A verified information-flow architecture

© 2024 University of Pennsylvania. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite