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...
Molly: A Verified Compiler for Cryptoprotocol RolesarXiv
arxiv.org
von DJ Dougherty · — Michael Backes, Alex Busenius, and Cătălin Hriţcu. On the devel- opment and formalization of an extensible code generator for real life ...
Aviation Safety - NASA Langley Research CEnter
larc-nasa.academia.edu
371 Michael Backes, Alex Busenius, and Cătălin Hriţcu Incremental Verification with Mode Variable Invariants in State Machines . › Do...
Catalin Hritcu - Colleagues - ACM Digital LibraryACM Digital Library
dl.acm.org
3 Papercounts · Jasmin Christian Blanchette. 1 · 1 Papercounts · Roberto Blanco. 3 · 3 Papercounts · Alex Busenius. 1 · 1 Papercounts · Silviu Chiricescu. 3 ·
dblp: BibTeX records: Catalin Hritcu
dblp.uni-trier.de
List of computer science publications by BibTeX records: Catalin Hritcu
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 ...
Extending the Input Language of Spi2Java Seminar: “Selected Topics of...
core.ac.uk
By Winter Term, Adviser Cătălin Hriţcu, Alex Busenius and Violeta Ivanova Abstract Automatic code generation from formal models is an important ap-proach for the secure implementation of cryptographic 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 ...
NASA Formal Methods - 4th International Symposium, NFM researchr.org
researchr.org
... Alex Busenius, Catalin Hritcu [doi] · Incremental Verification with Mode Variable Invariants in State MachinesTemesghen Kahsai, Pierre-Loïc Garoche ...
POLITECNICO DI TORINO Repository ISTITUZIONALE - CORE
core.ac.uk
von M Avalle · · Zitiert von: 74 — ACM Transactions on Programming Languages and. Systems, 33(2):1–45, [BBH12]. Michael Backes, Alex Busenius, and Catalin Hritcu. On the ... › download › pdf
Alle Infos zum Namen "Alex Busenius"
CiteSeerX — Extending the Input Language of Spi2Java Seminar:...
citeseerx.ist.psu.edu
@MISC{Term08extendingthe, author = {Winter Term and Adviser Cătălin Hriţcu and Alex Busenius and Violeta Ivanova}, title = {Extending the Input Language of Spi2Java Seminar: “Selected Topics of Information Security and Cryptography”}, year = {2008}}
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 .
NFM — Program: TUESDAY
shemesh.larc.nasa.gov
Michael Backes, Alex Busenius and Catalin Hritcu Lessons Learnt from the Adoption of Formal Model-based Development Alessio Ferrari, Alessandro Fantechi and Stefania Gnesi ( BibTex )
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...
SoftwareCatalin Hritcu
catalin-hritcu.github.io
Expi2Java: an extensible code generator for security protocols (by Alex Busenius); Protocol transformation for achieving security despite compromise (by ...
On the Development and Formalization of an Extensible Code ...www.springerprofessional.de › on-the-development-...
www.springerprofessional.de
Authors: Michael Backes, Alex Busenius, Cătălin Hriţcu. Publisher: Springer Berlin Heidelberg. Published in: NASA Formal Methods.
On the Development and Formalization of an Extensible Code ...www.springerprofessional.de › on-the-development-and-formalization-of-a...
www.springerprofessional.de
Autoren: Michael Backes, Alex Busenius, Cătălin Hriţcu. Verlag: Springer Berlin Heidelberg. Erschienen in: NASA Formal Methods.
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
Verwandte Suchanfragen zu Alex Busenius
| Christian Engels Michael Backes Alex Woods | John Burton Bernd Buschinski Nick Burns |
Personen Vorname "Alex" (31588) Name "Busenius" (73) |
sortiert nach Relevanz / Datum