Login / Signup
Christian A. Femrite
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Multi Context Systems
Information Flows
Propositional Logic
Real World
Top Venues
CoRR
</>
Publications
</>
Scott L. Dyer
,
Christian A. Femrite
,
Joshua D. Guttman
,
Julian P. Lanson
,
Moses D. Liskov
Cryptographically Assured Information Flow: Assured Remote Execution.
CoRR
(2024)