Diego AranhaAssociate Professor, AU
Bio: Diego F. Aranha is an Associate Professor in the Department of Computer Science at Aarhus University. His professional experience is in Cryptography and Computer Security, with a special interest in the efficient implementation of cryptographic algorithms and security analysis of real-world systems. He received the Google Latin America Research Award for research on privacy twice, and the MIT TechReview's Innovators Under 35 Brazil Award for his work in analyzing and improving the Brazilian electronic voting system.
Title: Efficient, verified and secure cryptographic software: pick all three
Abstract: It turns out that correct implementations of cryptographic primitives must operate within very constrained conditions, which makes them amenable to formal verification techniques. This talk will summarize recent work towards implementing so-called high-assurance cryptographic primitives which can be verified as correct and leakage-free, while remaining competitive performance-wise with hand-optimized code. Emphasis will be given to curve-based cryptography of interest for deployment in blockchain applications.
Speaker for following sessions