Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Alain Tapp

dblp:79/3279 · DBLP profile ↗
← Back
22ranked-venue papers
0as first author
0since 2021 · last 2019
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 14Security and privacy · 5Artificial intelligence and machine learning · 3

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
7 papers
Quantum computing and quantum information · 27% Information theory · 27% Computational complexity · 24%
Artificial intelligence
2 papers
Trustworthy machine learning · 77% Representation and self-supervised learning · 18% Information extraction and text analysis · 5%
Network and information security
7 papers
Cryptographic protocols and secure computation · 54% Cryptographic primitives and cryptanalysis · 39% Authentication and access control · 7%

Topics — the 30 heaviest of 32, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Computational complexity › communication complexity › two-party communication
quantum communication complexity
0.622019
Noisy Interactive Quantum Communication · SIAM J. Comput. 2019
Noisy Interactive Quantum Communication · FOCS 2014
Quantum computing and quantum information
quantum communication
0.522019
Noisy Interactive Quantum Communication · SIAM J. Comput. 2019
Anonymous Quantum Communication · ASIACRYPT 2007
Coding theory
interactive communication
0.422019
Noisy Interactive Quantum Communication · SIAM J. Comput. 2019
Noisy Interactive Quantum Communication · FOCS 2014
Machine learning › Trustworthy machine learning
fairness
0.412019
Fairwashing: the risk of rationalization · ICML 2019
Machine learning › Trustworthy machine learning › fairness
fairwashing
0.412019
Fairwashing: the risk of rationalization · ICML 2019
Machine learning › Trustworthy machine learning
interpretability
0.412019
Fairwashing: the risk of rationalization · ICML 2019
Machine learning › Trustworthy machine learning › interpretability › post-hoc explanation
model-agnostic explanation
0.412019
Fairwashing: the risk of rationalization · ICML 2019
Machine learning › Representation and self-supervised learning › text embedding
sentence embedding
0.412019
Towards Lossless Encoding of Sentences · ACL (1) 2019
Information theory › communication channels
noisy channel simulation
0.412019
Noisy Interactive Quantum Communication · SIAM J. Comput. 2019
Information theory
channel capacity
0.322019
Noisy Interactive Quantum Communication · FOCS 2014
Noisy Interactive Quantum Communication · SIAM J. Comput. 2019
Quantum computing and quantum information
quantum channel capacity
0.212014
Noisy Interactive Quantum Communication · FOCS 2014
Cryptographic protocols and secure computation › commitment schemes
bit commitment
0.112011
On the Efficiency of Bit Commitment Reductions · ASIACRYPT 2011
Cryptographic protocols and secure computation › proof systems
zero-knowledge proofs
0.112011
Two Provers in Isolation · ASIACRYPT 2011
Machine learning › Trustworthy machine learning › fairness
fairness evaluation
0.112019
Fairwashing: the risk of rationalization · ICML 2019
Natural language and speech › Information extraction and text analysis
sentiment analysis
0.112019
Towards Lossless Encoding of Sentences · ACL (1) 2019
Cryptographic primitives and cryptanalysis
information-theoretic security
0.112007
Information-Theoretic Security Without an Honest Majority · ASIACRYPT 2007
Distributed computing theory › communication protocols
anonymous communication
0.112007
Anonymous Quantum Communication · ASIACRYPT 2007
Coding theory
error-correcting codes
0.112014
Noisy Interactive Quantum Communication · FOCS 2014
Authentication and access control › authentication
quantum authentication
0.012002
Authentication of Quantum Messages · FOCS 2002
Cryptographic primitives and cryptanalysis
quantum cryptography
0.012002
Authentication of Quantum Messages · FOCS 2002
Cryptographic primitives and cryptanalysis › quantum cryptography
quantum encryption
0.012002
Authentication of Quantum Messages · FOCS 2002
Cryptographic primitives and cryptanalysis
encryption
0.012000
Private Quantum Channels · FOCS 2000
Cryptographic primitives and cryptanalysis › symmetric cryptography
one-time pad
0.012000
Private Quantum Channels · FOCS 2000
Quantum computing and quantum information
quantum cryptography
0.012000
Private Quantum Channels · FOCS 2000
Quantum computing and quantum information
quantum algorithms
0.011998
Quantum Counting · ICALP 1998
Computational complexity › computational models
reversible computation
0.011997
Reversible Space Equals Deterministic Space · CCC 1997
Computational complexity
space complexity
0.011997
Reversible Space Equals Deterministic Space · CCC 1997
Cryptographic protocols and secure computation
oblivious transfer
0.011995
Committed Oblivious Transfer and Private Multi-Party Computation · CRYPTO 1995
Cryptographic protocols and secure computation
secure multiparty computation
0.011995
Committed Oblivious Transfer and Private Multi-Party Computation · CRYPTO 1995
Quantum computing and quantum information › quantum entanglement
EPR pairs
0.012002
Authentication of Quantum Messages · FOCS 2002

Methods — techniques the papers use, named apart from their topics

entanglement · 0.6sequence reconstruction · 0.4rule list enumeration · 0.4regularization · 0.4quantum error correction · 0.4coding theorem · 0.4autoencoder · 0.4information-theoretic security · 0.2quantum simulation · 0.2quantum communication · 0.1quantum information theory · 0.1efficiency analysis · 0.1lower bound · 0.1cryptographic reduction · 0.1reversible pebble game · 0.0
YearPublicationVenuePosition
2019 Towards Lossless Encoding of Sentences
abstract
A lot of work has been done in the field of image compression via machine learning, but not much attention has been given to the compression of natural language.Compressing text into lossless representations while making features easily retrievable is not a trivial task, yet has huge benefits.Most methods designed to produce feature rich sentence embeddings focus solely on performing well on downstream tasks and are unable to properly reconstruct the original sequence from the learned embedding.In this work, we propose a near lossless method for encoding long sequences of texts as well as all of their sub-sequences into feature rich representations.We test our method on sentiment analysis and show good performance across all sub-sentence and sentence embeddings.
Gabriele Prato 0001, Mathieu Duchesneau, Sarath Chandar, Alain Tapp
ACL (1)4
2019 Fairwashing: the risk of rationalization
abstract
Black-box explanation is the problem of explaining how a machine learning model – whose internal logic is hidden to the auditor and generally complex – produces its outcomes. Current approaches for solving this problem include model explanation, outcome explanation as well as model inspection. While these techniques can be beneficial by providing interpretability, they can be used in a negative manner to perform fairwashing, which we define as promoting the false perception that a machine learning model respects some ethical values. In particular, we demonstrate that it is possible to systematically rationalize decisions taken by an unfair black-box model using the model explanation as well as the outcome explanation approaches with a given fairness metric. Our solution, LaundryML, is based on a regularized rule list enumeration algorithm whose objective is to search for fair rule lists approximating an unfair black-box model. We empirically evaluate our rationalization technique on black-box models trained on real-world datasets and show that one can obtain rule lists with high fidelity to the black-box model while being considerably less unfair at the same time.
Ulrich Aïvodji, Hiromi Arai, Olivier Fortineau, Sébastien Gambs, Satoshi Hara 0001, Alain Tapp
ICML6
2019 Noisy Interactive Quantum Communication
abstract
We study the problem of simulating protocols in a quantum communication setting over noisy channels. This problem falls at the intersection of quantum information theory and quantum communication complexity, and it will be of importance for eventual real-world applications of interactive quantum protocols, which can be proved to have exponentially lower communication costs than their classical counterparts for some problems. These are the first results concerning the quantum version of this problem, originally studied by Schulman in a classical setting [L. J. Schulman, Communication on noisy channels: A coding theorem for computation, in Proceedings of the 33rd Annual IEEE Symposium on Foundations of Computer Science, IEEE, 1992, pp. 724--733], [L. J. Schulman, Deterministic coding for interactive communication, in Proceedings of the 25th Annual ACM Symposium on Theory of Computing, ACM, 1993, pp. 747--756]. We simulate a length $N$ quantum communication protocol by a length $O(N)$ protocol with arbitrarily small error. Under adversarial noise, our strategy can withstand, for arbitrarily small $\varepsilon>0$, error rates as high as $1/2-\varepsilon$ when parties preshare perfect entanglement, but the classical channel is noisy. We show that this is optimal. We provide extension of these results in several other models of communication, including when also the entanglement is noisy, and when there is no preshared entanglement but communication is quantum and noisy. We also study the case of random noise, for which we provide simulation protocols with positive communication rates and no preshared entanglement over some quantum channels with quantum capacity $C_Q=0$, proving that $C_Q$ is in general not the right characterization of a channel's capacity for interactive quantum communication. Our results are stated for a general quantum communication protocol in which Alice and Bob collaborate, and these results hold in particular in the quantum communication complexity settings of the Yao and Cleve--Buhrman models.
Gilles Brassard, Ashwin Nayak 0001, Alain Tapp, Dave Touchette, Falk Unger
SIAM J. Comput.3
2014 Noisy Interactive Quantum Communication
abstract
We study the problem of simulating protocols in a quantum communication setting over noisy channels. This problem falls at the intersection of quantum information theory and quantum communication complexity, and will be of importance for eventual real-world applications of interactive quantum protocols, which can be proved to have exponentially lower communication costs than their classical counterparts for some problems. These are the first results concerning the quantum version of this problem, originally studied by Schulman in a classical setting (FOCS '92, STOC '93). We simulate a length N quantum communication protocol by a length O(N) protocol with arbitrarily small error. Our simulation strategy has a far higher communication rate than a naive one that encodes separately each particular round of communication to achieve comparable success. Such a strategy would have a communication rate going to 0 in the worst interaction case as the length of the protocols increases, in contrast to our strategy, which has a communication rate proportional to the capacity of the channel used. Under adversarial noise, our strategy can withstand, for arbitrarily small ε > 0, error rates as high as 1/2 -- ε when parties preshare perfect entanglement, but the classical channel is noisy. We show that this is optimal. Note that in this model, the naive strategy would not work for any constant fraction of errors. We provide extension of these results in several other models of communication, including when also the entanglement is noisy, and when there is no pre-shared entanglement but communication is quantum and noisy. We also study the case of random noise, for which we provide simulation protocols with positive communication rates and no pre-shared entanglement over some quantum channels with quantum capacity Q = 0, proving that Q is in general not the right characterization of a channel's capacity for interactive quantum communication. Our results are stated for a general quantum communication protocol in which Alice and Bob collaborate, and hold in particular in the quantum communication complexity settings of the Yao and Cleve-Buhrman models.
Gilles Brassard, Ashwin Nayak 0001, Alain Tapp, Dave Touchette, Falk Unger
FOCS3
2013 Preface
Tal Mor, Alain Tapp
Nat. Comput.2
2013 Quantum entanglement and the communication complexity of the inner product function
Richard Cleve, Wim van Dam, Michael Nielsen 0002, Alain Tapp
Theor. Comput. Sci.4
2013 Deterministic quantum non-locality and graph colorings
Viktor Galliard, Alain Tapp, Stefan Wolf 0001
Theor. Comput. Sci.2
2013 Preface
Tal Mor, Alain Tapp
Theor. Comput. Sci.2
2012 A Quantum Characterization Of NP
Hugue Blier, Alain Tapp
Comput. Complex.2
2011 Two Provers in Isolation
Claude Crépeau, Louis Salvail, Jean-Raymond Simard, Alain Tapp
ASIACRYPT4
2011 On the Efficiency of Bit Commitment Reductions
Samuel Ranellucci, Alain Tapp, Severin Winkler, Jürg Wullschleger
ASIACRYPT2
2007 Anonymous Quantum Communication
Gilles Brassard, Anne Broadbent, Joseph F. Fitzsimons, Sébastien Gambs, Alain Tapp
ASIACRYPT5
2007 Information-Theoretic Security Without an Honest Majority
Anne Broadbent, Alain Tapp
ASIACRYPT2
2003 Multi-party Pseudo-Telepathy
Gilles Brassard, Anne Broadbent, Alain Tapp
WADS3
2002 Authentication of Quantum Messages
abstract
Authentication is a well-studied area of classical cryptography: a sender A and a receiver B sharing a classical secret key want to exchange a classical message with the guarantee that the message has not been modified or replaced by a dishonest party with control of the communication line. In this paper we study the authentication of messages composed of quantum states. We give a formal definition of authentication in the quantum setting. Assuming A and B have access to an insecure quantum channel and share a secret, classical random key, we provide a non-interactive scheme that enables A to both encrypt and authenticate an m qubit message by encoding it into m+s qubits, where the error probability decreases exponentially in the security parameter s. The scheme requires a secret key of size 2m+O(s). To achieve this, we give a highly efficient protocol for testing the purity of shared EPR pairs. It has long been known that learning information about a general quantum state will necessarily disturb it. We refine this result to show that such a disturbance can be done with few side effects, allowing it to circumvent cryptographic protections. Consequently, any scheme to authenticate quantum messages must also encrypt them. In contrast, no such constraint exists classically. This reasoning has two important consequences: It allows us to give a lower bound of 2m key bits for authenticating m qubits, which makes our protocol asymptotically optimal. Moreover, we use it to show that digitally signing quantum states is impossible.
Howard Barnum, Claude Crépeau, Daniel Gottesman, Adam D. Smith 0001, Alain Tapp
FOCS5
2002 Introduction
Michele Mosca, Alain Tapp
Algorithmica2
2000 Private Quantum Channels
abstract
We investigate how a classical private key can be used by two players, connected by an insecure one-way quantum channel, to perform private communication of quantum information. In particular, we show that in order to transmit n qubits privately, 2n bits of shared private key are necessary and sufficient. This result may be viewed as the quantum analogue of the classical one-time pad encryption scheme.
Andris Ambainis, Michele Mosca, Alain Tapp, Ronald de Wolf
FOCS3
2000 Reversible Space Equals Deterministic Space
Klaus-Jörn Lange, Pierre McKenzie, Alain Tapp
J. Comput. Syst. Sci.3
1998 Quantum Counting
Gilles Brassard, Peter Høyer, Alain Tapp
ICALP3
1998 Quantum Cryptanalysis of Hash and Claw-Free Functions
Gilles Brassard, Peter Høyer, Alain Tapp
LATIN3
1997 Reversible Space Equals Deterministic Space
abstract
This paper describes the simulation of an S(n) space-bounded deterministic Turing machine by a reversible Turing machine operating in space S(n). It thus answers a question posed by C. Bennett (1989) and refutes the conjecture, made by M. Li and P. Vitanyi (1996), that any reversible simulation of an irreversible computation must obey Bennett's reversible pebble game rules.
Klaus-Jörn Lange, Pierre McKenzie, Alain Tapp
CCC3
1995 Committed Oblivious Transfer and Private Multi-Party Computation
Claude Crépeau, Jeroen van de Graaf, Alain Tapp
CRYPTO3