[Lecture Notes in Computer Science] Computer Security – ESORICS 2010 Volume 6345 || A Theory of Runtime Enforcement, with Results

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Security – ESORICS 2010 Volume 6345 || Election Verifiability in Electronic Voting Protocols

✍ Gritzalis, Dimitris; Preneel, Bart; Theoharidou, Marianthi 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 288 KB

The EuropeanSymposium on Researchin Computer Security (ESORICS) has a tradition that goes back two decades. It tries to bring together the international research community in a top-quality event that covers all the areas of computer security, ranging from theory to applications. ESORICS 2010 was the

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Security – ESORICS 2010 Volume 6345 || Formal Analysis of Privacy for Vehicular Mix-Zones

✍ Gritzalis, Dimitris; Preneel, Bart; Theoharidou, Marianthi 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 305 KB

The EuropeanSymposium on Researchin Computer Security (ESORICS) has a tradition that goes back two decades. It tries to bring together the international research community in a top-quality event that covers all the areas of computer security, ranging from theory to applications. ESORICS 2010 was the

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Security – ESORICS 2010 Volume 6345 || Website Fingerprinting and Identification Using Ordered Feature Sequences

✍ Gritzalis, Dimitris; Preneel, Bart; Theoharidou, Marianthi 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 301 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Security – ESORICS 2010 Volume 6345 || A Service Dependency Model for Cost-Sensitive Intrusion Response

✍ Gritzalis, Dimitris; Preneel, Bart; Theoharidou, Marianthi 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 299 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Security – ESORICS 2010 Volume 6345 || Are Security Experts Useful? Bayesian Nash Equilibria for Network Security Games with Limited Information

✍ Gritzalis, Dimitris; Preneel, Bart; Theoharidou, Marianthi 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 309 KB

The EuropeanSymposium on Researchin Computer Security (ESORICS) has a tradition that goes back two decades. It tries to bring together the international research community in a top-quality event that covers all the areas of computer security, ranging from theory to applications. ESORICS 2010 was the

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Security – ESORICS 2010 Volume 6345 || k-Zero Day Safety: Measuring the Security Risk of Networks against Unknown Attacks

✍ Gritzalis, Dimitris; Preneel, Bart; Theoharidou, Marianthi 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 268 KB