Michel Boyer - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2020

Composable security against collective attacks of a modified BB84 QKD protocol with information only in one basisMichel Boyer, Rotem Liss, Tal Mor. TCS, 801:96-109, 2020. [doi]

2018

Attacks against a Simplified Experimentally Feasible Semiquantum Key Distribution ProtocolMichel Boyer, Rotem Liss, Tal Mor. entropy, 20(7):536, 2018. [doi]

2017

Security Against Collective Attacks of a Modified BB84 QKD Protocol with Information only in One BasisMichel Boyer, Rotem Liss, Tal Mor. complexis 2017: 23-29 [doi]

Extrapolated quantum states, void states and a huge novel class of distillable entangled statesMichel Boyer, Aharon Brodutch, Tal Mor. soco, 21(19):5543-5556, 2017. [doi]

2014

Extrapolated States, Void States, and a Huge Novel Class of Distillable Entangled StatesMichel Boyer, Tal Mor. tpnc 2014: 107-118 [doi]

2012

Attacks on Fixed Apparatus Quantum Key Distribution SchemesMichel Boyer, Ran Gelles, Tal Mor. tpnc 2012: 97-107 [doi]

Undesirable Aspect Interactions: A Prevention Policy for Three Aspect Fault TypesArsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer. ssiri 2012: 75-84 [doi]

2011

Undesirable Aspect Interactions: A Prevention PolicyArsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer. tase 2011: 225-228 [doi]

A Categorical Modeling Approach of Aspect-Oriented SystemsArsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer. tase 2011: 85-92 [doi]

2010

The impact of IT on the growth and development of insular firmsAlidou Ouedraogo, Michel Boyer. jsit, 12(4):289-304, 2010. [doi]

2009

Security of the Bennett-Brassard Quantum Key Distribution Protocol against Collective AttacksMichel Boyer, Ran Gelles, Tal Mor. algorithms, 2(2):790-807, 2009. [doi]

2007

Quantum Key Distribution with Classical BobMichel Boyer, Dan Kenigsberg, Tal Mor. icqnm 2007: 10 [doi]

2006

A Proof of the Security of Quantum Key DistributionEli Biham, Michel Boyer, P. Oscar Boykin, Tal Mor, Vwani P. Roychowdhury. joc, 19(4):381-439, 2006. [doi]

2002

Security of Quantum Key Distribution against All Collective AttacksEli Biham, Michel Boyer, Gilles Brassard, Jeroen van de Graaf, Tal Mor. algorithmica, 34(4):372-388, 2002. [doi]

2001

Optimal design of synchronous circuits using software pipelining techniquesFrançois R. Boyer, El Mostapha Aboulhamid, Yvon Savaria, Michel Boyer. todaes, 6(4):516-532, 2001. [doi]

2000

A proof of the security of quantum key distribution (extended abstract)Eli Biham, Michel Boyer, P. Oscar Boykin, Tal Mor, Vwani P. Roychowdhury. stoc 2000: 715-724 [doi]

1999

Reasoning about Solids Using Constraint Logic ProgrammingGilles Pesant, Michel Boyer. JAR, 22(2):241-262, 1999.

1994

QUAD-CLP(R): Adding the Power of Quadratic ConstraintsGilles Pesant, Michel Boyer. ppcp 1994: 95-108

1993

Handling Quadratic Constraints through GeometryGilles Pesant, Michel Boyer. SLP 1993: 659

1992

Control-flow based testing of Prolog programsGang Luo, Gregor von Bochmann, Behçet Sarikaya, Michel Boyer. issre 1992: 104-113 [doi]

1991

Nonstandard Answers of Elementary Logic ProgramsPaul Tarau, Michel Boyer. ICLP 1991: 279-300

1990

Elementary Logic ProgramsPaul Tarau, Michel Boyer. plilp 1990: 159-173

1988

Prolog Meta-Programming with Soft DatabasesPaul Tarau, Michel Boyer. meta 1988: 365-381

1987

Towards Functional Logic GrammarsMichel Boyer. nlulp 1987: 45-61

1984

Generating Sentences from Semantic NetworksMichel Boyer, Guy Lapalme. nlulp 1984: 181-189

Sign in or sign up to see more results.

runs on WebDSL