research
∙
01/18/2023
Threats, Vulnerabilities, and Controls of Machine Learning Based Systems: A Survey and Taxonomy
In this article, we propose the Artificial Intelligence Security Taxonom...
share
research
∙
10/30/2022
Formalizing Statistical Causality via Modal Logic
We propose a formal language for describing and explaining statistical c...
research
∙
08/15/2022
Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs
We propose a new approach to formally describing the requirement for sta...
research
∙
12/22/2020
Information Leakage Games: Exploring Information as a Utility Function
A common goal in the areas of secure information flow and privacy is to ...
research
∙
11/30/2020
TransMIA: Membership Inference Attacks Using Transfer Shadow Training
Transfer learning has been widely studied and gained increasing populari...
research
∙
10/19/2020
Locality Sensitive Hashing with Extended Differential Privacy
Extended differential privacy, a generalization of standard differential...
research
∙
04/27/2020
An Epistemic Approach to the Formal Specification of Statistical Machine Learning
We propose an epistemic approach to formalizing statistical properties o...
research
∙
11/11/2019
Privacy-Preserving Multiple Tensor Factorization for Synthesizing Large-Scale Location Traces
With the widespread use of LBSs (Location-based Services), synthesizing ...
research
∙
07/24/2019
Towards Logical Specification of Statistical Machine Learning
We introduce a logical approach to formalizing statistical properties of...
research
∙
07/13/2019
Statistical Epistemic Logic
We introduce a modal logic for describing statistical knowledge, which w...
research
∙
07/13/2019
Local Distribution Obfuscation via Probability Coupling
We introduce a general model for the local obfuscation of probability di...
research
∙
12/03/2018
Local Obfuscation Mechanisms for Hiding Probability Distributions
We introduce a formal model for the information leakage of probability d...
research
∙
12/03/2018
Differentially Private Obfuscation Mechanisms for Hiding Probability Distributions
We propose a formal model for the privacy of user attributes in terms of...
research
∙
09/08/2018
Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow
Analysis of a probabilistic system often requires to learn the joint pro...
research
∙
07/30/2018
Utility-Optimized Local Differential Privacy Mechanisms for Distribution Estimation
LDP (Local Differential Privacy) has been widely studied to estimate sta...
research
∙
07/30/2018
Restricted Local Differential Privacy for Distribution Estimation with High Data Utility
LDP (Local Differential Privacy) has recently attracted much attention a...
research
∙
07/23/2018
On the Anonymization of Differentially Private Location Obfuscation
Obfuscation techniques in location-based services (LBSs) have been shown...
research
∙
03/27/2018
A Game-Theoretic Approach to Information-Flow Control via Protocol Composition
In the inference attacks studied in Quantitative Information Flow (QIF),...
research
∙
02/27/2018
