Poster: Security in E-Voting Daniel Bruns† , Huy Quoc Do‡ , Simon Greiner† , Mihai Herda† , Martin Mohr† , Enrico Scapin∗ , Tomasz Truderung∗ , Bernhard Beckert† , Ralf Küsters∗ , Heiko Mantel‡ and R

Source URL: www.ieee-security.org

• Java platform
• Formal methods
• Logic in computer science
• Formal verification
• Cryptographic primitive
• KeY
• Cryptography
• Java Card
• Cryptographic protocol
• Computing
• Theoretical computer science
• Formal sciences

Curriculum Vitae Personal Info Full Name Aurel Mihai Geambasu Adress BUCHAREST, Romania Phone +Email

Source URL: aurasmihai.ro

FPGA-accelerated Monte-Carlo integration using stratified sampling and Brownian bridges Mark de Jong, Vlad-Mihai Sima and Koen Bertels David Thomas

Source URL: ce-publications.et.tudelft.nl

Amateurs hack systems, professionals hack people. Build the human firewall! Mihai GHITA - Q-East Software © 2012 Quest Software Inc. All rights reserved.

Source URL: cyberisks.ro

Forest management approach in Natura 2000 sites Dragos MIHAI National Forest Administration - ROMSILVA ROMANIA

Source URL: www.ceeweb.org

Distinguished audience, On behalf of defense minister Mihai Stănişoară I want to thank you for your invitation to attend this event, one whose significance is deeply emotional and historically relevant for the America

Source URL: www.ahac.us.com

ON THE EPISTEMOLOGY OF MODAL RATIONALISM: THE MAIN PROBLEMS AND THEIR SIGNIFICANCE1 Mihai RUSU ABSTRACT: In this paper, I discuss the main characteristics of the epistemology of modal rationalism by proceeding from the c

Source URL: logos-and-episteme.acadiasi.ro

Vizualizare anunt publicitate numarul 7969 Autoritate contractanta INSPECTORATUL GENERAL AL POLITIEI ROMANE Str. Mihai Voda nr. 6, sector 5 , Localitatea: Bucuresti , Cod postal: 050041 , Romania , Punct(e) de contact: C

Source URL: www.politiaromana.ro

Către Colegiul Psihologilor din România În atenția D-lui Președinte, Prof. Univ. Dr. Mihai Aniței, D-lui Director Juridic, Iulian Laurențiu Ștefan, D-nei Director Executiv, Daniela Hiera, Membrilor Consiliului Co

Source URL: www.apio.ro

Angelica BACIVAROV (coordonator) Gabriel PETRICĂ Ioan-Cosmin MIHAI

Source URL: www.arasec.ro