1.1k citations · 1.3k across the 6 of their papers we have counts for
6 papers
Testing the Testers: Human-Driven Quality Assessment of Voice AI Testing Platforms
Miguel E. Andres, Vadim Fedorov, Rida Sadek +2
Voice AI agents are rapidly transitioning to production deployments, yet systematic methods for ensuring testing reliability remain underdeveloped. Organizations cannot objectively…
Geo-Indistinguishability: Differential Privacy for Location-Based Systems
Miguel E. Andrés, Nicolás E. Bordenabe, Konstantinos Chatzikokolakis +1
The growing popularity of location-based systems, allowing unknown/untrusted servers to easily collect huge amounts of information regarding users' location, has recently started r…
Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems
Miguel E. Andrés
This thesis addresses the foundational aspects of formal methods for applications in security and in particular in anonymity. More concretely, we develop frameworks for the specifi…
On the relation between Differential Privacy and Quantitative Information Flow
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis +1
Differential privacy is a notion that has emerged in the community of statistical databases, as a response to the problem of protecting the privacy of the database's participants w…
Differential Privacy: on the trade-off between Utility and Information Leakage
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis +2
Differential privacy is a notion of privacy that has become very popular in the database community. Roughly, the idea is that a randomized query mechanism provides sufficient priva…
Significant Diagnostic Counterexamples in Probabilistic Model Checking
Miguel E. Andres, Pedro D'Argenio, Peter van Rossum
This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov Chains and Markov Decision Processes. (Finite) paths in counterexample…