Joseph A. Akinyele
AuthID: R-00K-PEQ
1
TÃTULO: Certified Synthesis of Efficient Batch Verifiers
AUTORES: Joseph A Akinyele; Gilles Barthe; Benjamin Grégoire; Benedikt Schmidt; Pierre Yves Strub;
PUBLICAÇÃO: 2014, FONTE: IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014
AUTORES: Joseph A Akinyele; Gilles Barthe; Benjamin Grégoire; Benedikt Schmidt; Pierre Yves Strub;
PUBLICAÇÃO: 2014, FONTE: IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014
INDEXADO EM: 
DBLP
DBLP