Yusuke Kawamoto

Tetsuya Sato

Artif. Intell., January, 2024

StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs.

[BibT_eX]

[DOI]

Kentaro Kobayashi

CoRR, 2024

2023

Threats, Vulnerabilities, and Controls of Machine Learning Based Systems: A Survey and Taxonomy.

[BibT_eX]

[DOI]

CoRR, 2023

Formalizing Statistical Causality via Modal Logic.

[BibT_eX]

[DOI]

Tetsuya Sato

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

2022

Information Leakage Games: Exploring Information as a Utility Function.

[BibT_eX]

[DOI]

ACM Trans. Priv. Secur., 2022

2021

An epistemic approach to the formal specification of statistical machine learning.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2021

Privacy-Preserving Multiple Tensor Factorization for Synthesizing Large-Scale Location Traces with Cluster-Specific Features.

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., 2021

Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic.

[BibT_eX]

[DOI]

Tetsuya Sato

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

TransMIA: Membership Inference Attacks Using Transfer Shadow Training.

[BibT_eX]

[DOI]

Seira Hidano

Proceedings of the International Joint Conference on Neural Networks, 2021

Locality Sensitive Hashing with Extended Differential Privacy.

[BibT_eX]

[DOI]

Natasha Fernandes

Proceedings of the Computer Security - ESORICS 2021, 2021

2019

Hybrid statistical estimation of mutual information and its application to information flow.

[BibT_eX]

[DOI]

Fabrizio Biondi

Axel Legay

Louis-Marie Traonouez

Formal Aspects Comput., 2019

Privacy-Preserving Multiple Tensor Factorization for Synthesizing Large-Scale Location Traces.

[BibT_eX]

[DOI]

CoRR, 2019

Local Distribution Obfuscation via Probability Coupling.

[BibT_eX]

[DOI]

CoRR, 2019

Utility-Optimized Local Differential Privacy Mechanisms for Distribution Estimation.

[BibT_eX]

[DOI]

Proceedings of the 28th USENIX Security Symposium, 2019

Towards Logical Specification of Statistical Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Local Obfuscation Mechanisms for Hiding Probability Distributions.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2019, 2019

Statistical Epistemic Logic.

[BibT_eX]

[DOI]

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

Local Distribution Obfuscation via Probability Coupling<sup>*</sup>.

[BibT_eX]

[DOI]

Proceedings of the 57th Annual Allerton Conference on Communication, 2019

2018

A Game-Theoretic Approach to Information-Flow Control via Protocol Composition.

[BibT_eX]

[DOI]

Entropy, 2018

Differentially Private Obfuscation Mechanisms for Hiding Probability Distributions.

[BibT_eX]

[DOI]

CoRR, 2018

Restricted Local Differential Privacy for Distribution Estimation with High Data Utility.

[BibT_eX]

[DOI]

CoRR, 2018

Leakage and Protocol Composition in a Game-Theoretic Perspective.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

On the Anonymization of Differentially Private Location Obfuscation.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Information Theory and Its Applications, 2018

2017

On the Compositionality of Quantitative Information Flow.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2017

Information Leakage Games.

[BibT_eX]

[DOI]

Proceedings of the Decision and Game Theory for Security - 8th International Conference, 2017

HyLeak: Hybrid Analysis Tool for Information Leakage.

[BibT_eX]

[DOI]

Fabrizio Biondi

Axel Legay

Louis-Marie Traonouez

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow.

[BibT_eX]

[DOI]

Fabrizio Biondi

Axel Legay

Proceedings of the FM 2016: Formal Methods, 2016

2015

Quantitative Information Flow for Scheduler-Dependent Systems.

[BibT_eX]

[DOI]

Thomas Given-Wilson

Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

2014

Compositionality Results for Quantitative Information Flow.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

LeakWatch: Estimating Information Leakage from Java Programs.

[BibT_eX]

[DOI]

Tom Chothia

Chris Novakovic

Proceedings of the Computer Security - ESORICS 2014, 2014

2013

Probabilistic Point-to-Point Information Leakage.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

A Tool for Estimating Information Leakage.

[BibT_eX]

[DOI]

Tom Chothia

Chris Novakovic

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Efficient Padding Oracle Attacks on Cryptographic Hardware.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2012

Computational Soundness of Indistinguishability Properties without Computable Parsing.

[BibT_eX]

[DOI]

Proceedings of the Information Security Practice and Experience, 2012

2009

Computational and Symbolic Anonymity in an Unbounded Network.

[BibT_eX]

[DOI]

Hubert Comon-Lundh

Hideki Sakurada

JSIAM Lett., 2009

Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption.

[BibT_eX]

[DOI]