Michel Boyer

Publication Activity (10 Years)

Years Active: 1984-2022
Publications (10 Years): 10

Top Topics

Key Distribution

Security Protocols

Cryptographic Protocols

Top Venues

Publications

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