1
0
0
(1 - 18 von 19
)
NASA Formal Methods | 東京工業大学附属図書館 蔵書検索
topics.libra.titech.ac.jp
On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols / Michael Backes ; Alex Busenius ; Catalin Hritcu. › cat...
Search records | 東京工業大学附属図書館 蔵書検索
topics.libra.titech.ac.jp
On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols / Michael Backes ; Alex Busenius ; Catalin Hritcu. › sea...
A Machine-Checked, Type-Safe Model of Java Concurrency : Language,...
books.google.com.ua
Springer, Michael Backes, Alex Busenius, and C ̆at ̆alin Hritcu. On the development and formalization of an extensible code generator for real life security protocols. In NASA Formal Methods (NFM 2012), Lecture Notes in Computer Science. Springer, To appear. [11] Project Bali. http://isabelle.in.tum.de/bali/.
Search results for "NASA Formal Methods" – FacetedDBLP
dblp.l3s.de
1, Michael Backes 0001, Alex Busenius, Catalin Hritcu · On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols ...
Formal Verification of Security Protocol Implementations: A Survey -...
core.ac.uk
Michael Backes, Alex Busenius, and Catalin Hritcu. On the development and formalization of an extensible code generator for real life security protocols.
On the Development and Formalization of an Extensible ...Springer Link
link.springer.com
von M Backes · · Zitiert von: 23 — Michael Backes, Alex Busenius & Cătălin Hriţcu. MPI-SWS, Germany. Michael Backes. University of Pennsylvania, United States. Cătălin Hriţcu. Authors. Michael ...
On the Development and Formalization of an Extensible Code Generator...
link.springer.com
This paper introduces Expi2Java, a new code generator for cryptographic protocols that translates models written in an extensible variant of the Spi calculus...
BibTexNASA Langley Formal Methods (.gov)
shemesh.larc.nasa.gov
@inproceedings{NFM2012:BaBuHr, author = {Michael Backes and Alex Busenius and C{\ua}t{\ua}lin Hri{\ct}cu}, title = {On the Development and Formalization of ...
NFM — Accepted Papers
shemesh.larc.nasa.gov
Michael Backes, Alex Busenius and Catalin Hritcu. On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols ( Talk , BibTex ) Temesghen Kahsai, Pierre-Loïc Garoche, Cesare Tinelli and Mike Whalen .
Catalin Hritcu - researchr alias
researchr.org
On the Development and Formalization of an Extensible Code Generator for Real Life Security ProtocolsMichael Backes, Alex Busenius, Catalin Hritcu. › alias › catali...
ACADEMIC CURRICULUM VITAE - PDF Free Download
technodocbox.com
In Proceedings of NDSS Michael Backes, Alex Busenius, and Catalin Hritcu. On the Development and Formalization of an Extensible Code Generator for Real ...
ProVerif users - Bruno Blanchet - InriaInria
bblanche.gitlabpages.inria.fr
Michael Backes, Alex Busenius, Catalin Hritcu. On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols. 4th ...
On the Development and Formalization of an Extensible Code ...
cispa.de
On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols · Michael Backes · Alex Busenius · Cătălin Hriţcu. › research › publications › 672-on-the-d...
[PDF] On the Development and Formalization of an Extensible Code...
www.semanticscholar.org
The translation algorithm of Expi2Java is formalized using the Coq proof assistant, and it is proved that the generated programs are well-typed if the original...
On the development and formalization of an extensible code generator...
dlp5.acm.org
Author image not provided, Alex Busenius. No contact information provided yet. Bibliometrics: publication ... View colleagues of Alex Busenius. Cătălin Hriţcu
Publications | ISC Information Security and Cryptography Group
cispa.saarland
#127 On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols. Michael Backes , Alex Busenius , Cătălin Hriţcu
Alle Infos zum Namen "Alex Busenius"
Verwandte Suchanfragen zu Alex Busenius
| Christian Engels Alex Woods Michael Backes | Bernd Buschinski Nick Burns John Burton |
Personen Vorname "Alex" (31588) Name "Busenius" (73) |
sortiert nach Relevanz / Datum