Michael Backes

Xiao Zhang

CoRR, 2023

Composite Backdoor Attacks Against Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2023

Prompt Backdoors in Visual Prompt Learning.

[BibT_eX]

[DOI]

CoRR, 2023

Transferable Availability Poisoning Attacks.

[BibT_eX]

[DOI]

Yiyong Liu

Xiao Zhang

CoRR, 2023

Generating Less Certain Adversarial Examples Improves Robust Generalization.

[BibT_eX]

[DOI]

Minxing Zhang

Xiao Zhang

CoRR, 2023

Robustness Over Time: Understanding Adversarial Examples' Effectiveness on Longitudinal Versions of Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2023

You Are How You Walk: Quantifying Privacy Risks in Step Count Data.

[BibT_eX]

[DOI]

Bartlomiej Surma

Tahleen A. Rahman

Monique M. B. Breteler

CoRR, 2023

"Do Anything Now": Characterizing and Evaluating In-The-Wild Jailbreak Prompts on Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2023

Mondrian: Prompt Abstraction Attack Against Large Language Models for Cheaper API Pricing.

[BibT_eX]

[DOI]

Wai Man Si

CoRR, 2023

Secure Composition of Robust and Optimising Compilers.

[BibT_eX]

[DOI]

Matthis Kruse

Cristian-Alexandru Staicu

Marco Patrignani

CoRR, 2023

Generative Watermarking Against Unauthorized Subject-Driven Image Synthesis.

[BibT_eX]

[DOI]

CoRR, 2023

Vision-language models boost food composition compilation.

[BibT_eX]

[DOI]

CoRR, 2023

Watermarking Diffusion Model.

[BibT_eX]

[DOI]

CoRR, 2023

In ChatGPT We Trust? Measuring and Characterizing the Reliability of ChatGPT.

[BibT_eX]

[DOI]

CoRR, 2023

MGTBench: Benchmarking Machine-Generated Text Detection.

[BibT_eX]

[DOI]

CoRR, 2023

From Visual Prompt Learning to Zero-Shot Transfer: Mapping Is All You Need.

[BibT_eX]

[DOI]

CoRR, 2023

Prompt Stealing Attacks Against Text-to-Image Generation Models.

[BibT_eX]

[DOI]

CoRR, 2023

PrivTrace: Differentially Private Trajectory Synthesis by Adaptive Markov Models.

[BibT_eX]

[DOI]

Proceedings of the 32nd USENIX Security Symposium, 2023

Bilingual Problems: Studying the Security Risks Incurred by Native Extensions in Scripting Languages.

[BibT_eX]

[DOI]

Sazzadur Rahaman

Ágnes Kiss

Proceedings of the 32nd USENIX Security Symposium, 2023

Two-in-One: A Model Hijacking Attack Against Text Generation Models.

[BibT_eX]

[DOI]

Proceedings of the 32nd USENIX Security Symposium, 2023

UnGANable: Defending Against GAN-based Face Manipulation.

[BibT_eX]

[DOI]

Proceedings of the 32nd USENIX Security Symposium, 2023

FACE-AUDITOR: Data Auditing in Facial Recognition Systems.

[BibT_eX]

[DOI]

Proceedings of the 32nd USENIX Security Symposium, 2023

On the Evolution of (Hateful) Memes by Means of Multimodal Contrastive Learning.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

SEAL: Capability-Based Access Control for Data-Analytic Scenarios.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, 2023

A Systematic Study of the Consistency of Two-Factor Authentication User Journeys on Top-Ranked Websites.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

Backdoor Attacks Against Dataset Distillation.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

Generated Graph Detection.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2023

Data Poisoning Attacks Against Multimodal Encoders.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2023

Is Adversarial Training Really a Silver Bullet for Mitigating Data Poisoning?

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Can't Steal? Cont-Steal! Contrastive Stealing Attacks Against Image Encoders.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Unsafe Diffusion: On the Generation of Unsafe Images and Hateful Memes From Text-To-Image Models.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

A framework for constructing Single Secret Leader Election from MPC.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

Towards Good Practices in Evaluating Transfer Adversarial Attacks.

[BibT_eX]

[DOI]

CoRR, 2022

A Systematic Study of the Consistency of Two-Factor Authentication User Journeys on Top-Ranked Websites (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2022

Backdoor Attacks in the Supply Chain of Masked Image Modeling.

[BibT_eX]

[DOI]

CoRR, 2022

Membership Inference Attacks Against Text-to-image Generation Models.

[BibT_eX]

[DOI]

CoRR, 2022

PrivTrace: Differentially Private Trajectory Synthesis by Adaptive Markov Model.

[BibT_eX]

[DOI]

CoRR, 2022

Backdoor smoothing: Demystifying backdoor attacks on deep neural networks.

[BibT_eX]

[DOI]

Comput. Secur., 2022

ML-Doctor: Holistic Risk Assessment of Inference Attacks Against Machine Learning Models.

[BibT_eX]

[DOI]

Emiliano De Cristofaro

Mario Fritz

Proceedings of the 31st USENIX Security Symposium, 2022

Inference Attacks Against Graph Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 31st USENIX Security Symposium, 2022

Industrial practitioners' mental models of adversarial machine learning.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth Symposium on Usable Privacy and Security, 2022

Get a Model! Model Hijacking Attack Against Machine Learning Models.

[BibT_eX]

[DOI]

Ahmed Salem

Proceedings of the 29th Annual Network and Distributed System Security Symposium, 2022

On Xing Tian and the Perseverance of Anti-China Sentiment Online.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International AAAI Conference on Web and Social Media, 2022

Dynamic Backdoor Attacks Against Machine Learning Models.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE European Symposium on Security and Privacy, 2022

Why So Toxic?: Measuring and Triggering Toxic Behavior in Open-Domain Chatbots.

[BibT_eX]

[DOI]

Wai Man Si

Jeremy Blackburn

Emiliano De Cristofaro

Gianluca Stringhini

Savvas Zannettou

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

Finding MNEMON: Reviving Memories of Node Embeddings.

[BibT_eX]

[DOI]

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

Freely Given Consent?: Studying Consent Notice of Third-Party Tracking and Its Violations of GDPR in Android Apps.

[BibT_eX]

[DOI]

Trung Tin Nguyen

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

Membership Inference Attacks by Exploiting Loss Trajectory.

[BibT_eX]

[DOI]

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

Auditing Membership Leakages of Multi-Exit Networks.

[BibT_eX]

[DOI]

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

On the Privacy Risks of Cell-Based NAS Architectures.

[BibT_eX]

[DOI]

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

Graph Unlearning.

[BibT_eX]

[DOI]

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

Towards a Principled Approach for Dynamic Analysis of Android's Middleware.

[BibT_eX]

[DOI]

CoRR, 2021

Mental Models of Adversarial Machine Learning.

[BibT_eX]

[DOI]

CoRR, 2021

Node-Level Membership Inference Attacks Against Graph Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2021

Why Eve and Mallory Still Love Android: Revisiting TLS (In)Security in Android Applications.

[BibT_eX]

[DOI]

Proceedings of the 30th USENIX Security Symposium, 2021

Share First, Ask Later (or Never?) Studying Violations of GDPR's Explicit Consent in Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 30th USENIX Security Symposium, 2021

Stealing Links from Graph Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 30th USENIX Security Symposium, 2021

Explanation Beats Context: The Effect of Timing & Rationales on Users' Runtime Permission Decisions.

[BibT_eX]

[DOI]

Proceedings of the 30th USENIX Security Symposium, 2021

A11y and Privacy don't have to be mutually exclusive: Constraining Accessibility Service Misuse on Android.

[BibT_eX]

[DOI]

Jie Huang

Proceedings of the 30th USENIX Security Symposium, 2021

PrivSyn: Differentially Private Data Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 30th USENIX Security Symposium, 2021

Do winning tickets exist before DNN training?

[BibT_eX]

[DOI]

Proceedings of the 2021 SIAM International Conference on Data Mining, 2021

Statically Detecting JavaScript Obfuscation and Minification Techniques in the Wild.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

MLCapsule: Guarded Offline Deployment of Machine Learning as a Service.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2021

Accountability in the Decentralised-Adversary Setting.

[BibT_eX]

[DOI]

Deepak Garg

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

12 Angry Developers - A Qualitative Study on Developers' Struggles with CSP.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

DoubleX: Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

When Machine Unlearning Jeopardizes Privacy.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

Measuring User Perception for Detecting Unexpected Access to Sensitive Resource in Mobile Apps.

[BibT_eX]

[DOI]

Proceedings of the ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, 2021

BadNL: Backdoor Attacks against NLP Models with Semantic-preserving Improvements.

[BibT_eX]

[DOI]

Proceedings of the ACSAC '21: Annual Computer Security Applications Conference, Virtual Event, USA, December 6, 2021

2020

Decentralized Privacy-Preserving Proximity Tracing.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2020

Don't Trigger Me! A Triggerless Backdoor Attack Against Deep Neural Networks.

[BibT_eX]

[DOI]

Ahmed Salem

CoRR, 2020

BAAAN: Backdoor Attacks Against Autoencoder and GAN-Based Machine Learning Models.

[BibT_eX]

[DOI]

CoRR, 2020

Privacy Analysis of Deep Learning in the Wild: Membership Inference Attacks against Transfer Learning.

[BibT_eX]

[DOI]

CoRR, 2020

Adversarial Examples and Metrics.

[BibT_eX]

[DOI]

CoRR, 2020

How many winning tickets are there in one DNN?

[BibT_eX]

[DOI]

CoRR, 2020

A new measure for overfitting and its implications for backdooring of deep learning.

[BibT_eX]

[DOI]

CoRR, 2020

BadNL: Backdoor Attacks Against NLP Models.

[BibT_eX]

[DOI]

CoRR, 2020

Decentralized Privacy-Preserving Proximity Tracing.

[BibT_eX]

[DOI]

CoRR, 2020

Everything About You: A Multimodal Approach towards Friendship Inference in Online Social Networks.

[BibT_eX]

[DOI]

CoRR, 2020

A Tale of Two Headers: A Formal Analysis of Inconsistent Click-Jacking Protection on the Web.

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

Updates-Leak: Data Set Inference and Reconstruction Attacks in Online Learning.

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

Is FIDO2 the Kingslayer of User Authentication? A Comparative Usability Study of FIDO2 Passwordless Authentication.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Towards Plausible Graph Anonymization.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020

Killing Four Birds with one Gaussian Process: The Relation between different Test-Time Attacks.

[BibT_eX]

[DOI]

Michael T. Smith

Proceedings of the 25th International Conference on Pattern Recognition, 2020

On the Security Relevance of Initial Weights in Deep Neural Networks.

[BibT_eX]

[DOI]

Thomas Alexander Trost

Marius Mosbach

Dietrich Klakow

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2020, 2020

Membership Inference Against DNA Methylation Databases.

[BibT_eX]

[DOI]

Proceedings of the IEEE European Symposium on Security and Privacy, 2020

Adversarial Attacks on Classifiers for Eye-based User Modelling.

[BibT_eX]

[DOI]

Inken Hagestedt

Andreas Bulling

Proceedings of the ETRA '20 Adjunct: 2020 Symposium on Eye Tracking Research and Applications, 2020

Assessing the Impact of Script Gadgets on CSP at Scale.

[BibT_eX]

[DOI]

Sebastian Roth

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

Up2Dep: Android Tool Support to Fix Insecure Code Dependencies.

[BibT_eX]

[DOI]

Proceedings of the ACSAC '20: Annual Computer Security Applications Conference, 2020

TrollThrottle - Raising the Cost of Astroturfing.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 2020

2019

Privacy-Preserving Similar Patient Queries for Combined Biomedical Data.

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., 2019

How to wrap it up - A formally verified proposal for the use of authenticated wrapping in PKCS\#11.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

Ring Signatures: Logarithmic-Size, No Setup - from Standard Assumptions.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

Efficient Non-Interactive Zero-Knowledge Proofs in Cross-Domains without Trusted Setup.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

Causality & Control Flow.

[BibT_eX]

[DOI]

Deepak Garg

Proceedings of the 4th Workshop on Formal Reasoning about Causation, 2019

Proconda - Protected Control Data.

[BibT_eX]

[DOI]

CoRR, 2019

Adversarial Initialization - when your network performs the way I want.

[BibT_eX]

[DOI]

Thomas Alexander Trost

Marius Mosbach

Dietrich Klakow

CoRR, 2019

Short Text, Large Effect: Measuring the Impact of User Reviews on Android App Security & Privacy.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Fidelius: Protecting User Secrets from Compromised Browsers.

[BibT_eX]

[DOI]

Saba Eskandarian

Jonathan Cogan

Sawyer Birnbaum

Peh Chang Wei Brandon

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Towards automated network mitigation analysis.

[BibT_eX]

[DOI]

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

ML-Leaks: Model and Data Independent Membership Inference Attacks and Defenses on Machine Learning Models.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

MBeacon: Privacy-Preserving Beacons for DNA Methylation Data.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

Fairwalk: Towards Fair Graph Embedding.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Up-To-Crash: Evaluating Third-Party Library Updatability on Android.

[BibT_eX]

[DOI]

Jie Huang

Nataniel P. Borges Jr.

Proceedings of the IEEE European Symposium on Security and Privacy, 2019

Automated Verification of Accountability in Security Protocols.

[BibT_eX]

[DOI]

Ilkan Esiyok

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

MemGuard: Defending against Black-Box Membership Inference Attacks via Adversarial Examples.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

HideNoSeek: Camouflaging Malicious JavaScript in Benign ASTs.

[BibT_eX]

[DOI]

Aurore Fass

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

JStap: a static pre-filter for malicious JavaScript detection.

[BibT_eX]

[DOI]

Aurore Fass

Proceedings of the 35th Annual Computer Security Applications Conference, 2019

2018

Simulating the Large-Scale Erosion of Genomic Privacy Over Time.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2018

Accountability in Security Protocols.

[BibT_eX]

[DOI]

Deepak Garg

IACR Cryptol. ePrint Arch., 2018

Membership Privacy for Fully Dynamic Group Signatures.

[BibT_eX]

[DOI]

Lucjan Hanzlik

Jonas Schneider

IACR Cryptol. ePrint Arch., 2018

Signatures with Flexible Public Key: A Unified Approach to Privacy-Preserving Signatures (Full Version).

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

A Survey on Routing in Anonymous Communication Protocols.

[BibT_eX]

[DOI]

Fatemeh Shirazi

Milivoj Simeonovski

Muhammad Rizwan Asghar

Claudia Díaz

ACM Comput. Surv., 2018

The Limitations of Model Uncertainty in Adversarial Settings.

[BibT_eX]

[DOI]

CoRR, 2018

Killing Three Birds with one Gaussian Process: Analyzing Attack Vectors on Classification.

[BibT_eX]

[DOI]

Michael T. Smith

CoRR, 2018

ML-Leaks: Model and Data Independent Membership Inference Attacks and Defenses on Machine Learning Models.

[BibT_eX]

[DOI]

CoRR, 2018

Tagvisor: A Privacy Advisor for Sharing Hashtags.

[BibT_eX]

[DOI]

Proceedings of the 2018 World Wide Web Conference on World Wide Web, 2018

Better managed than memorized? Studying the Impact of Managers on Password Strength and Reuse.

[BibT_eX]

[DOI]

Proceedings of the 27th USENIX Security Symposium, 2018

Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

The Rise of the Citizen Developer: Assessing the Security Impact of Online App Generators.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Didn't You Hear Me? - Towards More Successful Web Vulnerability Notifications.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

PRIMA: Privacy-Preserving Identity and Access Management at Internet-Scale.

[BibT_eX]

[DOI]

Muhammad Rizwan Asghar

Milivoj Simeonovski

Proceedings of the 2018 IEEE International Conference on Communications, 2018

Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

Dissecting Privacy Risks in Biomedical Data.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

JaSt: Fully Syntactic Detection of Malicious (Obfuscated) JavaScript.

[BibT_eX]

[DOI]

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2018

Signatures with Flexible Public Key: Introducing Equivalence Classes for Public Keys.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - ASIACRYPT 2018, 2018

Stackelberg Planning: Towards Effective Leader-Follower State Space Search.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

How Internet Resources Might Be Helping You Develop Faster but Less Securely.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2017

Studying the Impact of Managers on Password Strength and Reuse.

[BibT_eX]

[DOI]

CoRR, 2017

CTRL+Z: Recovering Anonymized Social Graphs.

[BibT_eX]

[DOI]

CoRR, 2017

On the (Statistical) Detection of Adversarial Examples.

[BibT_eX]

[DOI]

CoRR, 2017

Simulated Penetration Testing and Mitigation Analysis.

[BibT_eX]

[DOI]

CoRR, 2017

Who Controls the Internet?: Analyzing Global Threats using Property Graph Traversals.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on World Wide Web, 2017

Lessons Learned from Using an Online Platform to Conduct Large-Scale, Online Controlled Security Experiments with Software Developers.

[BibT_eX]

[DOI]

Proceedings of the 10th USENIX Workshop on Cyber Security Experimentation and Test, 2017

How the Web Tangled Itself: Uncovering the History of Client-Side Web (In)Security.

[BibT_eX]

[DOI]

Proceedings of the 26th USENIX Security Symposium, 2017

Stack Overflow Considered Harmful? The Impact of Copy&Paste on Android Application Security.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

Comparing the Usability of Cryptographic APIs.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

Seamless In-App Ad Blocking on Stock Android.

[BibT_eX]

[DOI]

Marvin WiBfeld

Proceedings of the 2017 IEEE Security and Privacy Workshops, 2017

Identifying Personal DNA Methylation Profiles by Genotype Inference.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

Linking Amplification DDoS Attacks to Booter Services.

[BibT_eX]

[DOI]

Proceedings of the Research in Attacks, Intrusions, and Defenses, 2017

Dachshund: Digging for and Securing (Non-)Blinded Constants in JIT Code.

[BibT_eX]

[DOI]

Giorgi Maisuradze

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

Unleashing Use-Before-Initialization Vulnerabilities in the Linux Kernel Using Targeted Stack Spraying.

[BibT_eX]

[DOI]

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

LUNA: Quantifying and Leveraging Uncertainty in Android Malware Analysis through Bayesian Machine Learning.

[BibT_eX]

[DOI]

Mohammad Nauman

Proceedings of the 2017 IEEE European Symposium on Security and Privacy, 2017

A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and Its Application to Fair Exchange.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE European Symposium on Security and Privacy, 2017

Efficient and Flexible Discovery of PHP Application Vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE European Symposium on Security and Privacy, 2017

ARTist: The Android Runtime Instrumentation and Security Toolkit.

[BibT_eX]

[DOI]

Oliver Schranz

Sebastian Weisgerber

Proceedings of the 2017 IEEE European Symposium on Security and Privacy, 2017

Adversarial Examples for Malware Detection.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2017, 2017

Reconciling Privacy and Utility in Continuous-Time Diffusion Networks.

[BibT_eX]

[DOI]

Manuel Gomez-Rodriguez

Bartlomiej Surma

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

Deemon: Detecting CSRF with Dynamic Analysis and Property Graphs.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

A Stitch in Time: Supporting Android Developers in WritingSecure Code.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

The ART of App Compartmentalization: Compiler-based Library Privilege Separation on Stock Android.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

Keep me Updated: An Empirical Study of Third-Party Library Updatability on Android.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

walk2friends: Inferring Social Links from Mobility Profiles.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Boxify: Bringing Full-Fledged App Sandboxing to Stock Android.

[BibT_eX]

[DOI]

Oliver Schranz

Data Lineage in Malicious Environments.

[BibT_eX]

[DOI]

Niklas Grimm

IEEE Trans. Dependable Secur. Comput., 2016

Your Choice MATor(s): Large-scale Quantitative Anonymity Assessment of Tor Path Selection Algorithms Against Structural Attacks.

[BibT_eX]

[DOI]

Marcin Slowik

Proc. Priv. Enhancing Technol., 2016

AnoA: A Framework for Analyzing Anonymous Communication Protocols.

[BibT_eX]

[DOI]

J. Priv. Confidentiality, 2016

Anonymous RAM.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

Herausforderungen des Internet of Things.

[BibT_eX]

[DOI]

Datenschutz und Datensicherheit, 2016

Adversarial Perturbations Against Deep Neural Networks for Malware Classification.

[BibT_eX]

[DOI]

CoRR, 2016

On Profile Linkability despite Anonymity in Social Media Systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM on Workshop on Privacy in the Electronic Society, 2016

Hey, You Have a Problem: On the Feasibility of Large-Scale Web Vulnerability Notification.

[BibT_eX]

[DOI]

Proceedings of the 25th USENIX Security Symposium, 2016

What Cannot Be Read, Cannot Be Leveraged? Revisiting Assumptions of JIT-ROP Defenses.

[BibT_eX]

[DOI]

Giorgi Maisuradze

Proceedings of the 25th USENIX Security Symposium, 2016

Privacy in Epigenetics: Temporal Linkability of MicroRNA Expression Profiles.

[BibT_eX]

[DOI]

Proceedings of the 25th USENIX Security Symposium, 2016

On Demystifying the Android Application Framework: Re-Visiting Android Permission Specification Analysis.

[BibT_eX]

[DOI]

Proceedings of the 25th USENIX Security Symposium, 2016

You Get Where You're Looking for: The Impact of Information Sources on Code Security.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2016

SoK: Lessons Learned from Android Security Research for Appified Software Platforms.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2016

Implementation-level analysis of the JavaScript helios voting client.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

SandPrint: Fingerprinting Malware Sandboxes to Provide Intelligence for Sandbox Evasion.

[BibT_eX]

[DOI]

Proceedings of the Research in Attacks, Intrusions, and Defenses, 2016

On the Feasibility of TTL-Based Filtering for DRDoS Mitigation.

[BibT_eX]

[DOI]

Proceedings of the Research in Attacks, Intrusions, and Defenses, 2016

Delegatable Functional Signatures.

[BibT_eX]

[DOI]

Dominique Schröder

Proceedings of the Public-Key Cryptography - PKC 2016, 2016

How to Make ASLR Win the Clone Wars: Runtime Re-Randomization.

[BibT_eX]

[DOI]

Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

From Zoos to Safaris - From Closed-World Enforcement to Open-World Assessment of Privacy.

[BibT_eX]

[DOI]

Pascal Berrang

Proceedings of the Foundations of Security Analysis and Design VIII, 2016

Detecting Hardware-Assisted Virtualization.

[BibT_eX]

[DOI]

Michael Brengel

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2016

POSTER: Mapping the Landscape of Large-Scale Vulnerability Notifications.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

Efficient Cryptographic Password Hardening Services from Partially Oblivious Commitments.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

Identifying the Scan and Attack Infrastructures Behind Amplification DDoS Attacks.

[BibT_eX]

[DOI]

Johannes Krupp

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

RamCrypt: Kernel-based Address Space Encryption for User-mode Processes.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, 2016

Computational Soundness for Dalvik Bytecode.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

POSTER: The ART of App Compartmentalization.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

Membership Privacy in MicroRNA-based Studies.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

R-Droid: Leveraging Android App Analysis with Static Slice Optimization.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, 2016

Reliable Third-Party Library Detection in Android and its Security Applications.

[BibT_eX]

[DOI]

Erik Derr

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

Quantifying information flow in cryptographic systems.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2015

Oblivion: Mitigating Privacy Leaks by Controlling the Discoverability of Online Information.

[BibT_eX]

[DOI]

Milivoj Simeonovski

Fabian Bendun

Muhammad Rizwan Asghar

Ninja Marnau

Peter Druschel

IACR Cryptol. ePrint Arch., 2015

How well do you blend into the crowd? - d-convergence: A novel paradigm for quantifying privacy in the age of Big-Data.

[BibT_eX]

[DOI]

Pascal Berrang

CoRR, 2015

Boxify: Full-fledged App Sandboxing for Stock Android.

[BibT_eX]

[DOI]

Proceedings of the 24th USENIX Security Symposium, 2015

ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

PriCL: Creating a Precedent, a Framework for Reasoning about Privacy Case Law.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

Computational Soundness for Interactive Primitives.

[BibT_eX]

[DOI]

Tim Ruffing

Proceedings of the Computer Security - ESORICS 2015, 2015

Symbolic Malleable Zero-Knowledge Proofs.

[BibT_eX]

[DOI]

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

POSTER: Towards Compiler-Assisted Taint Tracking on the Android Runtime (ART).

[BibT_eX]

[DOI]

Oliver Schranz

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

POSTER: In the Net of the Spider: Measuring the Anonymity-Impact of Network-level Adversaries Against Tor.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

Fully Secure Inner-Product Proxy Re-Encryption with Constant Size Ciphertext.

[BibT_eX]

[DOI]

Sri Aravinda Krishnan Thyagarajan

Martin Gagné

Proceedings of the 3rd International Workshop on Security in Cloud Computing, 2015

Secrecy Without Perfect Randomness: Cryptography with (Bounded) Weak Sources.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 2015

2014

Union, intersection and refinement types and reasoning about type disjointness for secure protocol implementations.

[BibT_eX]

[DOI]

J. Comput. Secur., 2014

(Nothing else) MATor(s): Monitoring the Anonymity of Tor's Path Selection.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2014

Nearly Practical and Privacy-Preserving Proofs on Authenticated Data.

[BibT_eX]

[DOI]

Dario Fiore

Raphael M. Reischuk

IACR Cryptol. ePrint Arch., 2014

Operational Signature Schemes.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2014

Android Security Framework: Enabling Generic and Extensible Access Control on Android.

[BibT_eX]

[DOI]

CoRR, 2014

Oxymoron: Making Fine-Grained Memory Randomization Practical by Allowing Code Sharing.

[BibT_eX]

[DOI]

Stefan Nürnberger

Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014., 2014

Lime: Data Lineage in the Malicious Environment.

[BibT_eX]

[DOI]

Niklas Grimm

Proceedings of the Security and Trust Management - 10th International Workshop, 2014

X-pire 2.0: a user-controlled expiration date and copy protection mechanism.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

Computational Soundness Results for ProVerif - Bridging the Gap from Trace Properties to Uniformity.

[BibT_eX]

[DOI]

Tim Ruffing

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Asynchronous MPC with a strict honest majority using non-equivocation.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2014

You Can Run but You Can't Read: Preventing Disclosure Exploits in Executable Code.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

Android security framework: extensible multi-layered access control on Android.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual Computer Security Applications Conference, 2014

Scippa: system-centric IPC provenance on Android.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual Computer Security Applications Conference, 2014

WebTrust - A Comprehensive Authenticity and Integrity Framework for HTTP.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 2014

BackRef: Accountability in Anonymous Communication Networks.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 2014

2013

Highly Controlled, Fine-grained Delegation of Signing Capabilities.

[BibT_eX]

[DOI]

Dominique Schröder

IACR Cryptol. ePrint Arch., 2013

TUC: Time-sensitive and Modular Analysis of Anonymous Communication.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2013

Differential Indistinguishability for Cryptographic Primitives with Imperfect Randomness.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2013

Verifiable Delegation of Computation on Outsourced Data.

[BibT_eX]

[DOI]

Dario Fiore

Raphael M. Reischuk

IACR Cryptol. ePrint Arch., 2013

Asynchronous MPC with t<n/2 Using Non-equivocation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2013

Introducing Accountability to Anonymity Networks.

[BibT_eX]

[DOI]

CoRR, 2013

Using mobile device communication to strengthen e-Voting protocols.

[BibT_eX]

[DOI]

Martin Gagné

Malte Skoruppa

Proceedings of the 12th annual ACM Workshop on Privacy in the Electronic Society, 2013

AppGuard - Enforcing User Requirements on Android Apps.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Preventing Side-Channel Leaks in Web Traffic: A Formal Approach.

[BibT_eX]

[DOI]

Goran Doychev

Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013

Idea: Callee-Site Rewriting of Sealed System Libraries.

[BibT_eX]

[DOI]

Christian Hammer

Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

AppGuard - Fine-Grained Policy Enforcement for Untrusted Android Applications.

[BibT_eX]

[DOI]

Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2013

Privacy-Preserving Accountable Computation.

[BibT_eX]

[DOI]

Dario Fiore

Proceedings of the Computer Security - ESORICS 2013, 2013

2012

Preface.

[BibT_eX]

[DOI]

Andrew C. Myers

J. Comput. Secur., 2012

Computational Soundness without Protocol Restrictions.

[BibT_eX]

[DOI]

Ankit Malik

IACR Cryptol. ePrint Arch., 2012

Differentially Private Smart Metering with Battery Recharging.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2012

Asynchronous Computational VSS with Reduced Communication Complexity.

[BibT_eX]

[DOI]

Amit Datta

IACR Cryptol. ePrint Arch., 2012

Computational Soundness of Symbolic Zero-knowledge Proofs: Weaker Assumptions and Mechanized Verification.

[BibT_eX]

[DOI]

Fabian Bendun

IACR Cryptol. ePrint Arch., 2012

SAFE extensibility of data-driven web applications.

[BibT_eX]

[DOI]

Raphael M. Reischuk

Johannes Gehrke

Proceedings of the 21st World Wide Web Conference 2012, 2012

Ace: an efficient key-exchange protocol for onion routing.

[BibT_eX]

[DOI]

Proceedings of the 11th annual ACM Workshop on Privacy in the Electronic Society, 2012

ObliviAd: Provably Secure and Practical Online Behavioral Advertising.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2012

Brief announcement: distributed cryptography using trinc.

[BibT_eX]

[DOI]

Fabian Bendun

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols.

[BibT_eX]

[DOI]

Alex Busenius

Proceedings of the NASA Formal Methods, 2012

Automated Synthesis of Secure Distributed Applications.

[BibT_eX]

[DOI]

Santiago Zanella Béguelin

Kim Pecina

Proceedings of the 19th Annual Network and Distributed System Security Symposium, 2012

Diffusion-Based Image Compression in Steganography.

[BibT_eX]

[DOI]

Proceedings of the Advances in Visual Computing - 8th International Symposium, 2012

Verified Security of Merkle-Damgård.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

Adding query privacy to robust DHTs.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM Symposium on Information, Compuer and Communications Security, 2012

2011

Cryptographically sound security proofs for basic and public-key Kerberos.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2011

Computational Verifiable Secret Sharing Revisited.

[BibT_eX]

[DOI]

Arpita Patra

IACR Cryptol. ePrint Arch., 2011

Provably Secure and Practical Onion Routing.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2011

X-pire! - A digital expiration date for images in social networks

[BibT_eX]

[DOI]

CoRR, 2011

A Novel Attack against Android Phones

[BibT_eX]

[DOI]

CoRR, 2011

G2C: Cryptographic Protocols from Goal-Driven Specifications.

[BibT_eX]

[DOI]

Proceedings of the Theory of Security and Applications - Joint Workshop, 2011

Union and Intersection Types for Secure Protocol Implementations.

[BibT_eX]

[DOI]

Proceedings of the Theory of Security and Applications - Joint Workshop, 2011

Securing social networks.

[BibT_eX]

[DOI]

Kim Pecina

Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

A Security API for Distributed Social Networks.

[BibT_eX]

[DOI]

Kim Pecina

Proceedings of the Network and Distributed System Security Symposium, 2011

Automatically Verifying Typing Constraints for a Data Processing Language.

[BibT_eX]

[DOI]

Thorsten Tarrach

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

Non-uniform distributions in quantitative information-flow.

[BibT_eX]

[DOI]

Matthias Berg

Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security, 2011

2010

Computationally Sound Verification of Source Code.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2010

Acoustic Side-Channel Attacks on Printers.

[BibT_eX]

[DOI]

Proceedings of the 19th USENIX Security Symposium, 2010

Brief announcement: anonymity and trust in distributed systems.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

Anonymous Webs of Trust.

[BibT_eX]

[DOI]

Proceedings of the Privacy Enhancing Technologies, 10th International Symposium, 2010

Computationally Sound Abstraction and Verification of Secure Multi-Party Computations.

[BibT_eX]

[DOI]

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

Speaker Recognition in Encrypted Voice Streams.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2010

RatFish: A File Sharing Protocol Provably Secure against Rational Users.

[BibT_eX]

[DOI]

Oana Ciobotaru

Anton Krohmer

Proceedings of the Computer Security, 2010

2009

CoSP: A General Framework For Computational Soundness Proofs.

[BibT_eX]

[DOI]

Dennis Hofheinz

IACR Cryptol. ePrint Arch., 2009

Design and Verification of Anonymous Trust Protocols.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XVII, 2009

Design and Verification of Anonymous Trust Protocols.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XVII, 2009

Automatic Discovery and Quantification of Information Leaks.

[BibT_eX]

[DOI]

Andrey Rybalchenko

Proceedings of the 30th IEEE Symposium on Security and Privacy (SP 2009), 2009

Tempest in a Teapot: Compromising Reflections Revisited.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Symposium on Security and Privacy (SP 2009), 2009

Anonymity and Censorship Resistance in Unstructured Overlay Networks.

[BibT_eX]

[DOI]

Christos Tryfonopoulos

Gerhard Weikum

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009, 2009

CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable.

[BibT_eX]

[DOI]

Proceedings of the Network and Distributed System Security Symposium, 2009

Achieving Security Despite Compromise Using Zero-knowledge.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

2008

Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles.

[BibT_eX]

[DOI]

Andre Scedrov

J. Comput. Secur., 2008

Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2008

Conditional reactive simulatability.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2008

Computational soundness of symbolic zero-knowledge proofs.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2008

Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2008

Compromising Reflections-or-How to Read LCD Monitors around the Corner.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008

Anonymous and censorship resistant content sharing in unstructured overlays.

[BibT_eX]

[DOI]

Christos Tryfonopoulos

Gerhard Weikum

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

A Formal Language for Cryptographic Pseudocode.

[BibT_eX]

[DOI]

Matthias Berg

Proceedings of the Logic for Programming, 2008

Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

Type-checking zero-knowledge.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

Limits of Constructive Security Proofs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2008

OAEP Is Secure under Key-Dependent Messages.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2008

2007

Preface.

[BibT_eX]

[DOI]

David A. Basin

J. Comput. Secur., 2007

Preface.

[BibT_eX]

[DOI]

Stefanos Gritzalis

Bart Preneel

Int. J. Inf. Sec., 2007

On the Security of Protocols with Logarithmic Communication Complexity.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2007

Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2007

On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography.

[BibT_eX]

[DOI]

Ralf Küsters

IACR Cryptol. ePrint Arch., 2007

Information Flow in the Peer-Reviewing Process.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE Symposium on Security and Privacy (S&P 2007), 2007

Causality-based Abstraction of Multiplicity in Security Protocols.

[BibT_eX]

[DOI]

Agostino Cortesi

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

A calculus of challenges and responses.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007

2006

Compositional analysis of contract-signing protocols.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Cryptographically Sound Theorem Proving.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2006

Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2006

On the Necessity of Rewinding in Secure Multiparty Computation.

[BibT_eX]

[DOI]

Jörn Müller-Quade

IACR Cryptol. ePrint Arch., 2006

Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2006

Computationally Sound Secrecy Proofs by Mechanized Flow Analysis.

[BibT_eX]

[DOI]

Peeter Laud

IACR Cryptol. ePrint Arch., 2006

On the Cryptographic Key Secrecy of the Strengthened Yahalom Protocol.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy in Dynamic Environments, 2006

Formal Methods and Cryptography.

[BibT_eX]

[DOI]

Proceedings of the FM 2006: Formal Methods, 2006

Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2006

2005

Unifying simulatability definitions in cryptographic systems under different timing assumptions.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2005

Reactively secure signature schemes.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2005

Symmetric authentication in a simulatable Dolev-Yao-style cryptographic library.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2005

Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles.

[BibT_eX]

[DOI]

Andre Scedrov

IACR Cryptol. ePrint Arch., 2005

Limits of the Cryptographic Realization of Dolev-Yao-style XOR.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2005

On Fairness in Simulatability-based Cryptographic Systems.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2005

Secure Key-Updating for Lazy Revocation.

[BibT_eX]

[DOI]

Alina Oprea

IACR Cryptol. ePrint Arch., 2005

Preface.

[BibT_eX]

[DOI]

Andre Scedrov

Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, 2005

Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof.

[BibT_eX]

[DOI]

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Anonymous yet accountable access control.

[BibT_eX]

[DOI]

Jan Camenisch

Dieter Sommer

Proceedings of the 2005 ACM Workshop on Privacy in the Electronic Society, 2005

Tailoring the Dolev-Yao abstraction to web services realities.

[BibT_eX]

[DOI]

Thomas Groß

Proceedings of the 2nd ACM Workshop On Secure Web Services, 2005

Lazy Revocation in Cryptographic File Systems.

[BibT_eX]

[DOI]

Alina Oprea

Proceedings of the 3rd International IEEE Security in Storage Workshop (SISW 2005), 2005

Quantifying Probabilistic Information Flow in Computational Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2005

A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005

2004

Cryptographically sound analysis of security protocols.

[BibT_eX]

[DOI]

PhD thesis, 2004

A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 2004

Polynomial liveness.

[BibT_eX]

[DOI]

J. Comput. Secur., 2004

Computational probabilistic noninterference.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2004

The Reactive Simulatability (RSIM) Framework for Asynchronous Systems.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2004

Relating Symbolic and Cryptographic Secrecy.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2004

Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2004

A General Composition Theorem for Secure Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography, First Theory of Cryptography Conference, 2004

Efficient comparison of enterprise privacy policies.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Unification in Privacy Policy Evaluation - Translating EPAL into Prolog.

[BibT_eX]

[DOI]

Günter Karjoth

Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004

Low-Level Ideal Signatures and General Integrity Idealization.

[BibT_eX]

[DOI]

Proceedings of the Information Security, 7th International Conference, 2004

Justifying a Dolev-Yao Model Under Active Attacks.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Security Analysis and Design III, 2004

An Algebra for Composing Enterprise Privacy Policies.

[BibT_eX]

[DOI]

Rainer Steinwandt

Proceedings of the Computer Security, 2004

A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2004

2003

Symmetric Authentication Within a Simulatable Cryptographic Library.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2003

A Universally Composable Cryptographic Library.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2003

How to Break and Repair a Universally Composable Signature Functionality.

[BibT_eX]

[DOI]

Dennis Hofheinz

IACR Cryptol. ePrint Arch., 2003

Public-Key Steganography with Active Attacks.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2003

Cryptographically Sound and Machine-Assisted Verification of Security Protocols.

[BibT_eX]

[DOI]

Christian Jacobi

Proceedings of the STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27, 2003

Intransitive Non-Interference for Cryptographic Purpose.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE Symposium on Security and Privacy (S&P 2003), 2003

Proactive secure message transmission in asynchronous networks.

[BibT_eX]

[DOI]

Reto Strobl

Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, 2003

From absence of certain vulnerabilities towards security proofs: pushing the limits of formal verification.

[BibT_eX]

[DOI]

Matthias Schunter

Proceedings of the New Security Paradigms Workshop 2003, 2003

A Toolkit for Managing Enterprise Privacy Policies.

[BibT_eX]

[DOI]

Matthias Schunter

Proceedings of the Computer Security, 2003

Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

A composable cryptographic library with nested operations.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM Conference on Computer and Communications Security, 2003

Relating cryptography and formal methods: a panel.

[BibT_eX]

[DOI]

Catherine Meadows

John C. Mitchell

Proceedings of the 2003 ACM workshop on Formal methods in security engineering, 2003

Security in Business Process Engineering.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management, International Conference, 2003

2002

Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation.

[BibT_eX]

[DOI]

Christian Jacobi

Proceedings of the FME 2002: Formal Methods, 2002

Computational Probabilistic Non-interference.

[BibT_eX]

[DOI]