(1 - 6 von 6
)
Dr. Eugen Zalinescu - ETH - InfSec - Information SecurityETH Zürich
archiv.infsec.ethz.ch
Dr. Eugen Zalinescu. ETH Zürich Dr. Eugen Zalinescu Professur f. Informationssicherheit/ZISC CNB F Zürich. Dr. Eugen Zalinescu. ETH Zürich Dr. Eugen Zalinescu Professur f. Informationssicherheit/ZISC CNB F Zürich.
ArtistDesign NoE - FCC 2007
www.artist-embedded.org
Veronique Cortier and Eugen Zalinescu. 12h00, lunch. 14h00, Crypto-Verifying Protocol Implementations in ML Karthikeyan Bhargavan, Ricardo Corin and ...
Campus Event Calendar: Prof. Dr. David Basin ( in E )
domino.mpi-inf.mpg.de
... and synthesizing an enforcement mechanism from an enforceable policy. (Joint work with Vincent Juge, Felix Klaedtke and Eugen Zalinescu) ...
RV : 6th International Conference on Runtime Verification
www.wikicfp.com
RV : 6th International Conference on Runtime Verification
sortiert nach Relevanz / Datum