Titel

Merkliste
1 Ergebnisse

A monadic framework for relational verification: applied to..:

, In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Grimm, Niklas ; Maillard, Kenji ; Fournet, Cédric... - p. 130-145 , 2018

Link: https://dl.acm.org/doi/10.1145/3167090

RT 
T1 <cTitle>Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs</cTitle>: T1 <Title>A monadic framework for relational verification: applied to information security, program equivalence, and optimizations</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3167090&Exemplar=1&LAN=DE
				
A1 Grimm, Niklas
A1 Maillard, Kenji
A1 Fournet, Cédric
A1 Hriţcu, Cătălin
A1 Maffei, Matteo
A1 Protzenko, Jonathan
A1 Ramananandro, Tahina
A1 Rastogi, Aseem
A1 Swamy, Nikhil
A1 Zanella-Béguelin, Santiago
PB ACM
YR 2018
K1 Certified Optimizations
K1 Information-Flow Control
K1 Monadic Effects
K1 Program Equivalence and Refinement
K1 Program Verification
K1 Proof Assistants
K1 Relational Verification
K1 SMT-based Automation
K1 Weakest Preconditions
K1 Security and privacy
K1 Systems security
K1 Information flow control
K1 Theory of computation
K1 Semantics and reasoning
K1 Program reasoning
K1 Program verification
SP 130
OP 145
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3167090
DO https://dl.acm.org/doi/10.1145/3167090
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)