Vitaly Shmatikov

CoRR, 2024

Differential Degradation Vulnerabilities in Censorship Circumvention Systems.

[BibT_eX]

[DOI]

Zhen Sun

CoRR, 2024

Soft Prompts Go Hard: Steering Visual Language Models with Hidden Meta-Instructions.

[BibT_eX]

[DOI]

CoRR, 2024

Machine Against the RAG: Jamming Retrieval-Augmented Generation with Blocker Documents.

[BibT_eX]

[DOI]

Avital Shafran

CoRR, 2024

Adversarial Illusions in Multi-Modal Embeddings.

[BibT_eX]

[DOI]

Proceedings of the 33rd USENIX Security Symposium, 2024

Language Model Inversion.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on Learning Representations, 2024

Extracting Prompts by Inverting LLM Outputs.

[BibT_eX]

[DOI]

Collin Zhang

John X. Morris

Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024

2023

Ceci n'est pas une pomme: Adversarial Illusions in Multi-Modal Embeddings.

[BibT_eX]

[DOI]

CoRR, 2023

(Ab)using Images and Sounds for Indirect Instruction Injection in Multi-Modal LLMs.

[BibT_eX]

[DOI]

CoRR, 2023

Hyperparameter Search Is All You Need For Training-Agnostic Backdoor Robustness.

[BibT_eX]

[DOI]

CoRR, 2023

Telepath: A Minecraft-based Covert Communication System.

[BibT_eX]

[DOI]

Zhen Sun

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

Text Embeddings Reveal (Almost) As Much As Text.

[BibT_eX]

[DOI]

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

2022

Spinning Language Models: Risks of Propaganda-As-A-Service and Countermeasures.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

2021

Spinning Language Models for Propaganda-As-A-Service.

[BibT_eX]

[DOI]

CoRR, 2021

BigFoot: Exploiting and Mitigating Leakage in Encrypted Write-Ahead Logs.

[BibT_eX]

[DOI]

Jialing Pei

CoRR, 2021

You Autocomplete Me: Poisoning Vulnerabilities in Neural Code Completion.

[BibT_eX]

[DOI]

Proceedings of the 30th USENIX Security Symposium, 2021

Blind Backdoors in Deep Learning Models.

[BibT_eX]

[DOI]

Proceedings of the 30th USENIX Security Symposium, 2021

2020

Salvaging Federated Learning by Local Adaptation.

[BibT_eX]

[DOI]

Tao Yu

CoRR, 2020

Humpty Dumpty: Controlling Word Meanings via Corpus Poisoning.

[BibT_eX]

[DOI]

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

De-Anonymizing Text by Fingerprinting Language Generation.

[BibT_eX]

[DOI]

Zhen Sun

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Overlearning Reveals Sensitive Attributes.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Learning Representations, 2020

Adversarial Semantic Collisions.

[BibT_eX]

[DOI]

Alexander M. Rush

Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, 2020

How To Backdoor Federated Learning.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020

2019

Differential Privacy Has Disparate Impact on Model Accuracy.

[BibT_eX]

[DOI]

CoRR, 2019

Exploiting Unintended Feature Leakage in Collaborative Learning.

[BibT_eX]

[DOI]

Luca Melis

Emiliano De Cristofaro

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

Differential Privacy Has Disparate Impact on Model Accuracy.

[BibT_eX]

[DOI]

Omid Poursaeed

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Auditing Data Provenance in Text-Generation Models.

[BibT_eX]

[DOI]

Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2019

2018

The Tao of Inference in Privacy-Protected Databases.

[BibT_eX]

[DOI]

Vincent Bindschaedler

Proc. VLDB Endow., 2018

The Natural Auditor: How To Tell If Someone Used Your Words To Train Their Model.

[BibT_eX]

[DOI]

CoRR, 2018

Inference Attacks Against Collaborative Learning.

[BibT_eX]

[DOI]

Luca Melis

Emiliano De Cristofaro

CoRR, 2018

Chiron: Privacy-preserving Machine Learning as a Service.

[BibT_eX]

[DOI]

CoRR, 2018

Fooling OCR Systems with Adversarial Text Images.

[BibT_eX]

[DOI]

CoRR, 2018

Situational Access Control in the Internet of Things.

[BibT_eX]

[DOI]

Eran Tromer

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

2017

Why Your Encrypted Database Is Not Secure.

[BibT_eX]

[DOI]

Paul Grubbs

Thomas Ristenpart

IACR Cryptol. ePrint Arch., 2017

Beauty and the Burst: Remote Identification of Encrypted Video Streams.

[BibT_eX]

[DOI]

Eran Tromer

Proceedings of the 26th USENIX Security Symposium, 2017

Membership Inference Attacks Against Machine Learning Models.

[BibT_eX]

[DOI]

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

Machine Learning Models that Remember Too Much.

[BibT_eX]

[DOI]

Thomas Ristenpart

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

Using Program Analysis to Synthesize Sensor Spoofing Attacks.

[BibT_eX]

[DOI]

Ivan Pustogarov

Thomas Ristenpart

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

2016

EARP: Principled Storage, Sharing, and Protection for Mobile Apps.

[BibT_eX]

[DOI]

GetMobile Mob. Comput. Commun., 2016

CovertCast: Using Live Streaming to Evade Internet Censorship.

[BibT_eX]

[DOI]

Richard McPherson

Proc. Priv. Enhancing Technol., 2016

Breaking Web Applications Built On Top of Encrypted Data.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

Membership Inference Attacks against Machine Learning Models.

[BibT_eX]

[DOI]

Reza Shokri

Marco Stronati

CoRR, 2016

Defeating Image Obfuscation with Deep Learning.

[BibT_eX]

[DOI]

Richard McPherson

Reza Shokri

CoRR, 2016

Gone in Six Characters: Short URLs Considered Harmful for Cloud Services.

[BibT_eX]

[DOI]

Martin Georgiev

CoRR, 2016

Towards a Privacy Research Roadmap for the Computing Community.

[BibT_eX]

[DOI]

CoRR, 2016

Can we still avoid automatic face detection?

[BibT_eX]

[DOI]

Michael J. Wilber

Serge J. Belongie

Proceedings of the 2016 IEEE Winter Conference on Applications of Computer Vision, 2016

What Mobile Ads Know About Mobile Users.

[BibT_eX]

[DOI]

Daehyeok Kim

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

2015

No Escape From Reality: Security and Privacy of Augmented Reality Browsers.

[BibT_eX]

[DOI]

Richard McPherson

Proceedings of the 24th International Conference on World Wide Web, 2015

Rethinking Security of Web-Based System Applications.

[BibT_eX]

[DOI]

Martin Georgiev

Proceedings of the 24th International Conference on World Wide Web, 2015

Privacy-Preserving Deep Learning.

[BibT_eX]

[DOI]

Reza Shokri

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

2014

Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations.

[BibT_eX]

[DOI]

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

CloudTransport: Using Cloud Storage for Censorship-Resistant Networking.

[BibT_eX]

[DOI]

Chad Brubaker

Proceedings of the Privacy Enhancing Technologies - 14th International Symposium, 2014

No Direction Home: The True Cost of Routing Around Decoys.

[BibT_eX]

[DOI]

Edmund L. Wong

Proceedings of the 21st Annual Network and Distributed System Security Symposium, 2014

Breaking and Fixing Origin-Based Access Control in Hybrid Web/Mobile Application Frameworks.

[BibT_eX]

[DOI]

Martin Georgiev

Proceedings of the 21st Annual Network and Distributed System Security Symposium, 2014

2013

A Scanner Darkly: Protecting User Privacy from Perceptual Applications.

[BibT_eX]

[DOI]

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

The Parrot Is Dead: Observing Unobservable Network Communications.

[BibT_eX]

[DOI]

Chad Brubaker

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

πBox: A Platform for Privacy-Preserving Apps.

[BibT_eX]

[DOI]

Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013

The Postman Always Rings Twice: Attacking and Defending postMessage in HTML5 Websites.

[BibT_eX]

[DOI]

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

Fix Me Up: Repairing Access-Control Bugs in Web Applications.

[BibT_eX]

[DOI]

Kathryn S. McKinley

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

Privacy-preserving data exploration in genome-wide association studies.

[BibT_eX]

[DOI]

Aaron Johnson

Proceedings of the 19th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2013

Diglossia: detecting code injection attacks with precision and efficiency.

[BibT_eX]

[DOI]

Kathryn S. McKinley

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

2012

Memento: Learning Secrets from Process Footprints.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2012

Abusing File Processing in Malware Detectors for Fun and Profit.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2012

Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels.

[BibT_eX]

[DOI]

Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012

The most dangerous code in the world: validating SSL certificates in non-browser software.

[BibT_eX]

[DOI]

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

2011

Anonymity is not privacy: technical perspective.

[BibT_eX]

[DOI]

Commun. ACM, 2011

TxBox: Building Secure, Efficient Sandboxes with System Transactions.

[BibT_eX]

[DOI]

Donald E. Porter

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

"You Might Also Like: " Privacy Risks of Collaborative Filtering.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

A security policy oracle: detecting security holes using multiple API implementations.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

SAFERPHP: finding semantic vulnerabilities in PHP applications.

[BibT_eX]

[DOI]

Proceedings of the 2011 Workshop on Programming Languages and Analysis for Security, 2011

RoleCast: finding missing security checks when you do not know what checks are.

[BibT_eX]

[DOI]

Kathryn S. McKinley

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

EVE: Verifying Correct Execution of Cloud-Hosted Web Applications.

[BibT_eX]

[DOI]

Proceedings of the 3rd USENIX Workshop on Hot Topics in Cloud Computing, 2011

Get off my prefix! the need for dynamic, gerontocratic policies in inter-domain routing.

[BibT_eX]

[DOI]

Edmund L. Wong

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

2010

Myths and fallacies of "personally identifiable information".

[BibT_eX]

[DOI]

Commun. ACM, 2010

The Hitchhiker's Guide to DNS Cache Poisoning.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy in Communication Networks, 2010

Efficient, context-sensitive detection of real-world semantic attacks.

[BibT_eX]

[DOI]

Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, 2010

Airavat: Security and Privacy for MapReduce.

[BibT_eX]

[DOI]

Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation, 2010

2009

De-anonymizing Social Networks.

[BibT_eX]

[DOI]

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

Privacy-Preserving Classifier Learning.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2009

Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities.

[BibT_eX]

[DOI]

Richard M. Chang

Guofei Jiang

Franjo Ivancic

Sriram Sankaranarayanan

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

2008

Robust De-anonymization of Large Sparse Datasets.

[BibT_eX]

[DOI]

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

Towards Practical Privacy for Genomic Computation.

[BibT_eX]

[DOI]

Somesh Jha

Louis Kruger

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

The cost of privacy: destruction of data-mining utility in anonymized data publishing.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2008

2007

Security against probe-response attacks in collaborative intrusion detection.

[BibT_eX]

[DOI]

Proceedings of the 2007 Workshop on Large Scale Attack Defense, 2007

Truth in advertising: lightweight verification of route integrity.

[BibT_eX]

[DOI]

Edmund L. Wong

Praveen Balasubramanian

Lorenzo Alvisi

Mohamed G. Gouda

Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

dFence: Transparent Network-based Denial of Service Mitigation.

[BibT_eX]

[DOI]

Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI 2007), 2007

Efficient Two-Party Secure Computation on Committed Inputs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2007

Privacy-preserving remote diagnostics.

[BibT_eX]

[DOI]

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

Secure Verification of Location Claims with Simultaneous Distance Modification.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computer Science, 2007

2006

Analysis of probabilistic contract signing.

[BibT_eX]

[DOI]

Gethin Norman

J. Comput. Secur., 2006

On the Limits of Point Function Obfuscation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2006

Security Analysis of Voice-over-IP Protocols.

[BibT_eX]

[DOI]

Prateek Gupta

IACR Cryptol. ePrint Arch., 2006

Key confirmation and adaptive corruptions in the protocol security logic.

[BibT_eX]

[DOI]

Prateek Gupta

IACR Cryptol. ePrint Arch., 2006

How To Break Anonymity of the Netflix Prize Dataset

[BibT_eX]

[DOI]

CoRR, 2006

Measuring relationship anonymity in mix networks.

[BibT_eX]

[DOI]

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

Large-scale collection and sanitization of network security data: risks and challenges.

[BibT_eX]

[DOI]

Phillip A. Porras

Proceedings of the New Security Paradigms Workshop 2006, 2006

Efficient anonymity-preserving data collection.

[BibT_eX]

[DOI]

Proceedings of the Twelfth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2006

Timing Analysis in Low-Latency Mix Networks: Attacks and Defenses.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2006

2005

Contract signing, optimism, and advantage.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2005

Reputation-based trust management.

[BibT_eX]

[DOI]

Carolyn L. Talcott

J. Comput. Secur., 2005

Symbolic protocol analysis with an Abelian group operator or Diffie-Hellman exponentiation.

[BibT_eX]

[DOI]

Jonathan K. Millen

J. Comput. Secur., 2005

Towards computationally sound symbolic analysis of key exchange protocols.

[BibT_eX]

[DOI]

Prateek Gupta

IACR Cryptol. ePrint Arch., 2005

Probabilistic Polynomial-Time Semantics for a Protocol Security Logic.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Probabilistic Escrow of Financial Transactions with Cumulative Threshold Disclosure.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2005

Game-Based Analysis of Denial-of-Service Prevention Protocols.

[BibT_eX]

[DOI]

Ajay Mahimkar

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

Fast dictionary attacks on passwords using time-space tradeoff.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

Obfuscated databases and group privacy.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

Privacy-Preserving Graph Algorithms in the Semi-honest Model.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2005

2004

Probabilistic analysis of an anonymity system.

[BibT_eX]

[DOI]

J. Comput. Secur., 2004

Information Hiding, Anonymity and Privacy: a Modular Approach.

[BibT_eX]

[DOI]

Dominic J. D. Hughes

J. Comput. Secur., 2004

Privacy-Preserving Sharing and Correlation of Security Alerts.

[BibT_eX]

[DOI]

Patrick Lincoln

Phillip A. Porras

Proceedings of the 13th USENIX Security Symposium, August 9-13, 2004, San Diego, CA, USA, 2004

Synchronous Batching: From Cascades to Free Routes.

[BibT_eX]

[DOI]

Roger Dingledine

Paul F. Syverson

Proceedings of the Privacy Enhancing Technologies, 4th International Workshop, 2004

Handcuffing Big Brother: an Abuse-Resilient Transaction Escrow Scheme.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2004

Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2004

2003

Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or.

[BibT_eX]

[DOI]

Hubert Comon-Lundh

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

Symbolic Protocol Analysis with Products and Diffie-Hellman Exponentiation.

[BibT_eX]

[DOI]

Jonathan K. Millen

Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

2002

Finite-state analysis of two contract signing protocols.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Negotiated Privacy: (Extended Abstract).

[BibT_eX]

[DOI]

Patrick Lincoln

Proceedings of the Software Security -- Theories and Systems, 2002

Probabilistic Analysis of Anonymity.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 2002

2001

Constraint solving for bounded-process cryptographic protocol analysis.

[BibT_eX]

[DOI]

Jonathan K. Millen

Proceedings of the CCS 2001, 2001

2000

Finite-state analysis of security protocols.

[BibT_eX]

[DOI]

PhD thesis, 2000

Analysis of a Fair Exchange Protocol.

[BibT_eX]

[DOI]

Proceedings of the Network and Distributed System Security Symposium, 2000

Analysis of Abuse-Free Contract Signing.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography, 2000

1999

A Core Calculus of Classes and Objects.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

A Core Calculus of Classes and Mixins.

[BibT_eX]

[DOI]

Viviana Bono

Amit Patel

Proceedings of the ECOOP'99, 1999

1998

Finite-State Analysis of SSL 3.0.

[BibT_eX]

[DOI]

Ulrich Stern

Proceedings of the 7th USENIX Security Symposium, 1998

Efficient Finite-State Analysis for Large Security Protocols.

[BibT_eX]

[DOI]