Bruce M. Kapron
AuthID: R-00K-T70
1
TITLE: Computational indistinguishability logic
AUTHORS: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech;
PUBLISHED: 2010, SOURCE: Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, October 4-8, 2010
AUTHORS: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech;
PUBLISHED: 2010, SOURCE: Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, October 4-8, 2010
INDEXED IN: 
DBLP
DBLP2
TITLE: On the Equality of Probabilistic Terms
AUTHORS: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech; Vincent Laporte;
PUBLISHED: 2010, SOURCE: Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers, VOLUME: 6355
AUTHORS: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech; Vincent Laporte;
PUBLISHED: 2010, SOURCE: Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers, VOLUME: 6355
INDEXED IN: DBLP
DBLP