Anupam Datta

CoRR, 2022

Faithful Explanations for Deep Graph Models.

[BibT_eX]

[DOI]

CoRR, 2022

Robust Models Are More Interpretable Because Attributions Look Normal.

[BibT_eX]

[DOI]

Zifan Wang

Matt Fredrikson

Proceedings of the International Conference on Machine Learning, 2022

2021

Fairness Under Feature Exemptions: Counterfactual and Observational Measures.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 2021

Consistent Counterfactuals for Deep Models.

[BibT_eX]

[DOI]

CoRR, 2021

Boundary Attributions Provide Normal (Vector) Explanations.

[BibT_eX]

[DOI]

Zifan Wang

Matt Fredrikson

CoRR, 2021

Influence Patterns for Explaining Information Flow in BERT.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Exploring Conceptual Soundness with TruLens.

[BibT_eX]

[DOI]

Proceedings of the NeurIPS 2021 Competitions and Demonstrations Track, 2021

Machine Learning Explainability and Robustness: Connected at the Hip.

[BibT_eX]

[DOI]

Proceedings of the KDD '21: The 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2021

2020

Abstracting Influence Paths for Explaining (Contextualization of) BERT Models.

[BibT_eX]

[DOI]

CoRR, 2020

Towards Behavior-Level Explanation for Deep Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2020

SoK: Differential Privacy as a Causal Property.

[BibT_eX]

[DOI]

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

Smoothed Geometry for Robust Attribution.

[BibT_eX]

[DOI]

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

Interpreting Interpretations: Organizing Attribution Methods by Criteria.

[BibT_eX]

[DOI]

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

Gender Bias in Neural Natural Language Processing.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2020

Influence Paths for Characterizing Subject-Verb Number Agreement in LSTM Language Models.

[BibT_eX]

[DOI]

Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

An Information-Theoretic Quantification of Discrimination with Exempt Features.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Feature-Wise Bias Amplification.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Learning Representations, 2019

2018

Privacy Through Accountability.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Device microagent for IoT home gateway: a lightweight plug-n-play architecture.

[BibT_eX]

[DOI]

Dhiman Chattopadhyay

Abinash Samantaray

SIGBED Rev., 2018

Correspondences between Privacy and Nondiscrimination: Why They Should Be Studied Together.

[BibT_eX]

[DOI]

CoRR, 2018

Supervising Feature Influence.

[BibT_eX]

[DOI]

CoRR, 2018

Hunting for Discriminatory Proxies in Linear Regression Models.

[BibT_eX]

[DOI]

Samuel Yeom

Matt Fredrikson

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Influence-Directed Explanations for Deep Convolutional Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Test Conference, 2018

Discrimination in Online Personalization: A Multidisciplinary Inquiry.

[BibT_eX]

[DOI]

Proceedings of the Conference on Fairness, Accountability and Transparency, 2018

2017

Latent Factor Interpretations for Collaborative Filtering.

[BibT_eX]

[DOI]

CoRR, 2017

Differential Privacy as a Causal Property.

[BibT_eX]

[DOI]

CoRR, 2017

Proxy Non-Discrimination in Data-Driven Systems.

[BibT_eX]

[DOI]

CoRR, 2017

Towards Human Computable Passwords.

[BibT_eX]

[DOI]

Proceedings of the 8th Innovations in Theoretical Computer Science Conference, 2017

Use Privacy in Data-Driven Systems: Theory and Experiments with Machine Learnt Programs.

[BibT_eX]

[DOI]

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

2016

Differentially Private Password Frequency Lists.

[BibT_eX]

[DOI]

Joseph Bonneau

IACR Cryptol. ePrint Arch., 2016

Report on the NSF Workshop on Formal Methods for Security.

[BibT_eX]

[DOI]

CoRR, 2016

überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor.

[BibT_eX]

[DOI]

Proceedings of the 25th USENIX Security Symposium, 2016

Algorithmic Transparency via Quantitative Input Influence: Theory and Experiments with Learning Systems.

[BibT_eX]

[DOI]

Yair Zick

Proceedings of the IEEE Symposium on Security and Privacy, 2016

CASH: A Cost Asymmetric Secure Hash Algorithm for Optimal Password Protection.

[BibT_eX]

[DOI]

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

Accountability in cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 Science of Security for Cyber-Physical Systems Workshop, 2016

Information flow for security in control systems.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Automated Experiments on Ad Privacy Settings.

[BibT_eX]

[DOI]

Amit Datta

Proc. Priv. Enhancing Technol., 2015

Naturally Rehearsing Passwords.

[BibT_eX]

[DOI]

Manuel Blum

Alejandro Uriel Carbonara

IACR Cryptol. ePrint Arch., 2015

System M: A Program Logic for Code Sandboxing and Identification.

[BibT_eX]

[DOI]

CoRR, 2015

A Symbolic Logic with Concrete Bounds for Cryptographic Protocols.

[BibT_eX]

[DOI]

CoRR, 2015

A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 6th International Conference, 2015

Spaced Repetition and Mnemonics Enable Recall of Multiple Strong Passwords.

[BibT_eX]

[DOI]

Proceedings of the 22nd Annual Network and Distributed System Security Symposium, 2015

Influence in Classification via Cooperative Game Theory.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Incentivizing Peer Grading in MOOCS: An Audit Game Approach.

[BibT_eX]

[DOI]

Arunesh Sinha

Yair Zick

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A Methodology for Information Flow Experiments.

[BibT_eX]

[DOI]

Amit Datta

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

A Logic of Programs with Interface-Confined Code.

[BibT_eX]

[DOI]

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

Program Actions as Actual Causes: A Building Block for Accountability.

[BibT_eX]

[DOI]

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

Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits.

[BibT_eX]

[DOI]

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

Audit Games with Multiple Defender Resources.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Automated Experiments on Ad Privacy Settings: A Tale of Opacity, Choice, and Discrimination.

[BibT_eX]

[DOI]

Amit Datta

CoRR, 2014

Human Computable Passwords.

[BibT_eX]

[DOI]

Manuel Blum

CoRR, 2014

Power napping with loud neighbors: optimal energy-constrained jamming and anti-jamming.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM Conference on Security & Privacy in Wireless and Mobile Networks, 2014

Bootstrapping Privacy Compliance in Big Data Systems.

[BibT_eX]

[DOI]

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

Privacy through Accountability: A Computer Science Perspective.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2014

Privacy-preserving audit for broker-based health information exchange.

[BibT_eX]

[DOI]

Proceedings of the Fourth ACM Conference on Data and Application Security and Privacy, 2014

WPES 2014: 13th Workshop on Privacy in the Electronic Society.

[BibT_eX]

[DOI]

Gail-Joon Ahn

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

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework.

[BibT_eX]

[DOI]

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

Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule.

[BibT_eX]

[DOI]

William H. Winsborough

Proceedings of the 18th ACM Symposium on Access Control Models and Technologies, 2013

Differentially private data analysis of social networks via restricted sensitivity.

[BibT_eX]

[DOI]

Proceedings of the Innovations in Theoretical Computer Science, 2013

Audit Games.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Adaptive Regret Minimization in Bounded-Memory Games.

[BibT_eX]

[DOI]

Proceedings of the Decision and Game Theory for Security - 4th International Conference, 2013

Purpose Restrictions on Information Use.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2013, 2013

GOTCHA password hackers!

[BibT_eX]

[DOI]

Manuel Blum

Proceedings of the AISec'13, 2013

2012

Formalizing and Enforcing Purpose Restrictions in Privacy Policies.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2012

Parametric Verification of Address Space Separation.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - First International Conference, 2012

Provable De-anonymization of Large Datasets with Sparse Dimensions.

[BibT_eX]

[DOI]

Divya Sharma

Arunesh Sinha

Proceedings of the Principles of Security and Trust - First International Conference, 2012

Audit Mechanisms for Provable Risk Management and Accountable Data Governance.

[BibT_eX]

[DOI]

Proceedings of the Decision and Game Theory for Security - Third International Conference, 2012

The Johnson-Lindenstrauss Transform Itself Preserves Differential Privacy.

[BibT_eX]

[DOI]

Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science, 2012

2011

On Adversary Models and Compositional Security.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2011

Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract).

[BibT_eX]

[DOI]

Dilsun Kirli Kaynar

Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011

On the Semantics of Purpose Requirements in Privacy Policies

[BibT_eX]

[DOI]

CoRR, 2011

A Logical Method for Policy Enforcement over Evolving Audit Logs

[BibT_eX]

[DOI]

Deepak Garg

Limin Jia

CoRR, 2011

Formal Verification of Differential Privacy for Interactive Systems

[BibT_eX]

[DOI]

Dilsun Kirli Kaynar

CoRR, 2011

Audit Mechanisms for Privacy Protection in Healthcare Environments.

[BibT_eX]

[DOI]

Proceedings of the 2nd USENIX Workshop on Health Security and Privacy, 2011

Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Security - 7th International Conference, 2011

Regret Minimizing Audits: A Learning-Theoretic Basis for Privacy Protection.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

Policy auditing over incomplete logs: theory, implementation and applications.

[BibT_eX]

[DOI]

Deepak Garg

Limin Jia

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

Protocol Composition Logic.

[BibT_eX]

[DOI]

John C. Mitchell

Arnab Roy

Stephan Hyeonjun Stiller

Proceedings of the Formal Models and Techniques for Analyzing Security Protocols, 2011

2010

Analysis Techniques for Information Security

[BibT_eX]

[DOI]

Synthesis Lectures on Information Security, Privacy, and Trust, Morgan & Claypool Publishers, ISBN: 978-3-031-02334-7, 2010

Inductive trace properties for computational security.

[BibT_eX]

[DOI]

J. Comput. Secur., 2010

Logical Methods in Security and Privacy.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2010

Compositional System Security with Interface-Confined Adversaries.

[BibT_eX]

[DOI]

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

Experiences in the logical specification of the HIPAA and GLBA privacy laws.

[BibT_eX]

[DOI]

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

Privacy Challenges in Patient-centric Health Information Systems.

[BibT_eX]

[DOI]

Proceedings of the 1st USENIX Workshop on Health Security and Privacy, 2010

Distributed programming with distributed authorization.

[BibT_eX]

[DOI]

Kumar Avijit

Robert Harper

Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2010

TrustVisor: Efficient TCB Reduction and Attestation.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

2009

A Logic of Secure Systems and its Application to Trusted Computing.

[BibT_eX]

[DOI]

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

ASPIER: An Automated Framework for Verifying Security Protocol Implementations.

[BibT_eX]

[DOI]

Sagar Chaki

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

2008

On the Relationships between Notions of Simulation-Based Security.

[BibT_eX]

[DOI]

J. Cryptol., 2008

2007

Inductive Proof Method for Computational Secrecy.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2007

Protocol Composition Logic (PCL).

[BibT_eX]

[DOI]

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols.

[BibT_eX]

[DOI]

Arnab Roy

John C. Mitchell

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Inductive Proofs of Computational Secrecy.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2007

Privacy and Utility in Business Processes.

[BibT_eX]

[DOI]

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

2006

Compositional analysis of contract-signing protocols.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Key Exchange Protocols: Security Definition, Proof Method and Applications.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2006

Privacy and Contextual Integrity: Framework and Applications.

[BibT_eX]

[DOI]

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

Computationally Sound Compositional Logic for Key Exchange Protocols.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

Secrecy Analysis in Protocol Composition Logic.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computer Science, 2006

2005

Security analysis of network protocols : compositional reasoning and complexity-theoretic foundations.

[BibT_eX]

[DOI]

PhD thesis, 2005

A derivation system and compositional logic for security protocols.

[BibT_eX]

[DOI]

J. Comput. Secur., 2005

Games and the Impossibility of Realizable Ideal Functionality.

[BibT_eX]

[DOI]

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

A modular correctness proof of IEEE 802.11i and TLS.

[BibT_eX]

[DOI]

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

2004

Abstraction and Refinement in Protocol Derivation.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004

2003

A Derivation System for Security Protocols and its Logical Formalization.

[BibT_eX]

[DOI]

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

Secure protocol composition.

[BibT_eX]

[DOI]

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

2002

Using Randomized Rounding to Satisfy Timing Constraints of Real-Time Preemptive Tasks.

[BibT_eX]

[DOI]