• Diego Aranha

    Associate 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
    • KPMG Hall
      01-12-2 -
      Organized by AU in collaboration with DIREC 

      While blockchains are still a relatively new technology we see a new digital security infrastructure being designed with potentially deep impact on our society. It poses huge possibilities for better transparency, but remains a potential challenge to our economic institutions, digital interaction and sharing of information. This session introduces the basic building blocks of the blockchain technology, and explores future applications of Cybersecurity issues based on new research within blockchain, Smart Contracts and related technologies.

      Introduction: Bas Spitters, Associate professor, Dept. of Computer Science, AU.
      Scientific Talk: “MPC on Blockchains: Privacy Preserving Smart Contracts for Fun and Profit", Bernardo David, associate professor, ITU
      Scientific Talk: "Efficient, verified and secure cryptographic software: pick all three", Diego Aranha, associate professor, AU
      Scientific Talk: “Smart contracts and formal verification”, Bas Spitters, Associate professor, AU
      Business Talk:  “Privacy and blockchain in practice”, Kurt Nielsen,  Partisia Blockchain

      Session coordinator: Bas Spitters/Søren Poulsen, AU
      Facilitator: Bas Spitters, AU
      Building the foundation for future cybersecurity
Cookies policy