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