Michel Boyer

35 papers A* 1A 1C 1Misc 2Journal 19Unranked 11
YearRankTypeTitle / Venue / Authors
2022 J jnl
Composable Security of Generalized BB84 Protocols Against General Attacks.
CoRR
Michel Boyer, Rotem Liss, Tal Mor
2022 J jnl
Simple and Rigorous Proof Method for Practical Security of Quantum Key Distribution in the Single-Qubit Regime Using Mismatched Basis Measurements.
CoRR
Michel Boyer, Gilles Brassard, Nicolas Godbout, Rotem Liss, Stéphane Virally
2020 J jnl
Composable security against collective attacks of a modified BB84 QKD protocol with information only in one basis.
Theor. Comput. Sci.
Michel Boyer, Rotem Liss, Tal Mor
2018 J jnl
Attacks against a Simplified Experimentally Feasible Semiquantum Key Distribution Protocol.
CoRR
Michel Boyer, Rotem Liss, Tal Mor
2018 J jnl
Attacks against a Simplified Experimentally Feasible Semiquantum Key Distribution Protocol.
Entropy
Michel Boyer, Rotem Liss, Tal Mor
2017 J jnl
A New and Feasible Protocol for Semi-quantum Key Distribution.
CoRR
Michel Boyer, Matty Katz, Rotem Liss, Tal Mor
2017 J jnl
Composable Security Against Collective Attacks of a Modified BB84 QKD Protocol with Information only in One Basis.
CoRR
Michel Boyer, Rotem Liss, Tal Mor
2017 J jnl
Extrapolated quantum states, void states and a huge novel class of distillable entangled states.
Soft Comput.
Michel Boyer, Aharon Brodutch, Tal Mor
2017 C conf
Security Against Collective Attacks of a Modified BB84 QKD Protocol with Information only in One Basis.
COMPLEXIS
Michel Boyer, Rotem Liss, Tal Mor
2017 J jnl
Security Against Collective Attacks of a Modified BB84 QKD Protocol with Information only in One Basis.
CoRR
Michel Boyer, Rotem Liss, Tal Mor
2014 — conf
Extrapolated States, Void States, and a Huge Novel Class of Distillable Entangled States.
TPNC
Michel Boyer, Tal Mor
2013 J jnl
Attacks on Fixed Apparatus Quantum Key Distribution Schemes.
CoRR
Michel Boyer, Ran Gelles, Tal Mor
2012 — conf
Attacks on Fixed Apparatus Quantum Key Distribution Schemes.
TPNC
Michel Boyer, Ran Gelles, Tal Mor
2012 — conf
Undesirable Aspect Interactions: A Prevention Policy for Three Aspect Fault Types.
SERE (Companion)
Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer
2011 Misc conf
A Categorical Modeling Approach of Aspect-Oriented Systems.
TASE
Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer
2011 Misc conf
Undesirable Aspect Interactions: A Prevention Policy.
TASE
Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer
2010 J jnl
The impact of IT on the growth and development of insular firms.
J. Syst. Inf. Technol.
Alidou Ouedraogo, Michel Boyer
2009 J jnl
Security of the Bennett-Brassard Quantum Key Distribution Protocol against Collective Attacks.
Algorithms
Michel Boyer, Ran Gelles, Tal Mor
2008 J jnl
Semi-Quantum Key Distribution.
CoRR
Michel Boyer, Ran Gelles, Dan Kenigsberg, Tal Mor
2007 J jnl
Quantum Key Distribution with Classical Bob
CoRR
Michel Boyer, Dan Kenigsberg, Tal Mor
2007 — conf
Quantum Key Distribution with Classical Bob.
ICQNM
Michel Boyer, Dan Kenigsberg, Tal Mor
2006 J jnl
A Proof of the Security of Quantum Key Distribution.
J. Cryptol.
Eli Biham, Michel Boyer, P. Oscar Boykin, Tal Mor, Vwani P. Roychowdhury
2005 J jnl
A Proof of the Security of Quantum Key Distribution
CoRR
Eli Biham, Michel Boyer, P. Oscar Boykin, Tal Mor, Vwani P. Roychowdhury
2002 J jnl
Security of Quantum Key Distribution against All Collective Attacks.
Algorithmica
Eli Biham, Michel Boyer, Gilles Brassard, Jeroen van de Graaf, Tal Mor
2001 J jnl
Optimal design of synchronous circuits using software pipelining techniques.
ACM Trans. Design Autom. Electr. Syst.
François R. Boyer, El Mostapha Aboulhamid, Yvon Savaria, Michel Boyer
2000 A* conf
A proof of the security of quantum key distribution (extended abstract).
STOC
Eli Biham, Michel Boyer, P. Oscar Boykin, Tal Mor, Vwani P. Roychowdhury
1999 J jnl
Reasoning about Solids Using Constraint Logic Programming.
J. Autom. Reason.
Gilles Pesant, Michel Boyer
1994 — conf
QUAD-CLP(R): Adding the Power of Quadratic Constraints.
PPCP
Gilles Pesant, Michel Boyer
1993 — conf
Handling Quadratic Constraints through Geometry.
ILPS
Gilles Pesant, Michel Boyer
1992 A conf
Control-flow based testing of Prolog programs.
ISSRE
Gang Luo, Gregor von Bochmann, Behçet Sarikaya, Michel Boyer
1991 — conf
Nonstandard Answers of Elementary Logic Programs.
ICLP Workshop on Construction of Logic Programs
Paul Tarau, Michel Boyer
1990 — conf
Elementary Logic Programs.
PLILP
Paul Tarau, Michel Boyer
1988 — conf
Prolog Meta-Programming with Soft Databases.
META
Paul Tarau, Michel Boyer
1987 — conf
Towards Functional Logic Grammars.
Natural Language Understanding and Logic Programming Workshop
Michel Boyer
1984 — conf
Generating Sentences from Semantic Networks.
Natural Language Understanding and Natural Language Understanding Workshop
Michel Boyer, Guy Lapalme