( en | de | ru )

 

Disambiguierung von "Appel, Andrew W."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verified Correctness and Security of mbedTLS HMAC-DRBG.

, , , , , und . CoRR, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Andrew Lee

Andrew Singer

Andrew Torda

Andrew Cato

Andrew Huvos

 

Weitere Publikationen von Autoren mit dem selben Namen

Compiling with Continuations. Cambridge University Press, (1992)Program Logics - for Certified Compilers.. Cambridge University Press, (2014)MulVAL: A Logic-based Network Security Analyzer., , und . USENIX Security Symposium, USENIX Association, (2005)How to defeat Rivest's ThreeBallot Voting System. (2007)Unpublished.Proof-Carrying Authentication., und . ACM Conference on Computer and Communications Security, Seite 52-62. ACM, (1999)Machine Instruction Syntax and Semantics in Higher Order Logic., und . CADE, Volume 1831 von Lecture Notes in Computer Science, Seite 7-24. Springer, (2000)Verified Software Toolchain.. NASA Formal Methods, Volume 7226 von Lecture Notes in Computer Science, Seite 2. Springer, (2012)A Compositional Logic for Control Flow., und . VMCAI, Volume 3855 von Lecture Notes in Computer Science, Seite 80-94. Springer, (2006)Runtime Tags Aren't Necessary.. LISP Symb. Comput., 2 (2): 153-162 (1989)Mostly Sound Type System Improves a Foundational Program Verifier., und . CPP, Volume 8307 von Lecture Notes in Computer Science, Seite 17-32. Springer, (2013)