Joseph A. Akinyele
AuthID: R-00K-PEQ
1
TITLE: Certified Synthesis of Efficient Batch Verifiers
AUTHORS: Joseph A Akinyele; Gilles Barthe; Benjamin Grégoire; Benedikt Schmidt; Pierre Yves Strub;
PUBLISHED: 2014, SOURCE: IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014
AUTHORS: Joseph A Akinyele; Gilles Barthe; Benjamin Grégoire; Benedikt Schmidt; Pierre Yves Strub;
PUBLISHED: 2014, SOURCE: IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014
INDEXED IN: 
DBLP
DBLP