Back to Results
First PageMeta Content
Dolev-Yao model / Communications protocol / Computer security / Cryptographic primitive / Information-theoretic security / Cryptography / Cryptographic protocols / Secure multi-party computation


ZISC annual report[removed]
Add to Reading List

Document Date: 2015-02-14 14:43:29

Open Document

File Size: 232,56 KB

Share Result on Facebook

City

Saarbrücken / Venice / Pittsburgh / Kaiserslautern / /

Company

Evaluating Anomaly Detection Systems / ETH Zurich / IBM Zurich Research Laboratory / Needham / /

Country

Germany / Italy / United States / /

Event

Product Issues / Business Partnership / /

Facility

Saarland University / /

IndustryTerm

proof infrastructure / given protocol / asynchronous network / generic ring algorithms / machine-learning algorithm / appropriate reasoning infrastructure / synchronous networks / sensor networks / secure protocol / software vulnerabilities / detectable protocols / synchronous network / Wireless Security / state-based systems / security protocols / /

Organization

Saarland University / Zurich Information Security Center / Communication Systems Group / European Union / NYU / IEEE Computer Society / /

Person

Martin Hirt / David Basin / Gene Tsudik / Ueli Maurer / Radha Poovendran / Joachim Buhmann / Christoph Sprenger / Adrian Perrig / Mario Frank / Michael Waidner / Jean-Pierre Hubaux / Cathy Meadows / Michael Backes / Birgit Pfitzmann / Virgil Gligor / Vincent Lenders / /

Position

generic protocol interpreter / speaker / much simpler model / generic protocol interpreter for role-based specifications / member / /

Product

minority / Minority Secure / parties / /

ProvinceOrState

Pennsylvania / /

PublishedMedium

Cryptology ePrint Archive / Lecture Notes in Computer Science / /

Technology

machine-learning algorithm / MPC protocols / generic ring algorithms / perfectly secure MPC protocol / security protocols / encryption / Cryptography / information-theoretically secure protocol / perfectly secure MPC protocols / given protocol / NSL protocol / simulation / /

URL

http /

SocialTag