`Travelled to:`

1 × Canada

1 × Sweden

1 × USA

`Collaborated with:`

G.Pesant P.Tarau E.Biham P.O.Boykin T.Mor V.P.Roychowdhury

`Talks about:`

elementari (1) constraint (1) distribut (1) geometri (1) quantum (1) quadrat (1) program (1) secur (1) proof (1) logic (1)

## Person: Michel Boyer

### DBLP: Boyer:Michel

### Contributed to:

### Wrote 3 papers:

- STOC-2000-BihamBBMR #proving #quantum #security
- A proof of the security of quantum key distribution (EB, MB, POB, TM, VPR), pp. 715–724.
- ILPS-1993-PesantB #constraints #geometry #polynomial
- Handling Quadratic Constraints through Geometry (GP, MB), p. 659.
- PLILP-1990-TarauB #logic programming #source code
- Elementary Logic Programs (PT, MB), pp. 159–173.