Input Output

Mario Larangeira, PhD

Research Fellow
Team Provable Security Manager


Tokyo, Japan


Mario Larangeira is a computer engineer and cryptographer who attended the Aeronautical Institute of Technology in Brazil and holds Master and Ph.D. degrees from Tokyo Institute of Technology in Japan.

His professional background embraces software development and testing experience in aircraft, banking and telecommunication industries either in Brazil and Japan.

He also has research experience in Cryptography and has authored scientific articles on cryptographic models and proof of security in public-key cryptography.


72B1 0614 B2DF 13E2 019A
0316 D370 4EBD 0965 9C89