Modern Security Engineering - Tech Talks

​​◎ About

Are you passionate about the latest advancements in API security, software reliability, and efficient security practices? Mark your calendars for an engaging evening dedicated to exploring these topics!

​We're excited to bring you a curated series of talks designed to provide valuable insights and spark new ideas.

◎ Who should attend?

This event is designed for engineers, IT professionals, and industry leaders who are passionate about building secure, and scalable software systems and solutions.

​Whether you’re looking to enhance your knowledge of modern security practices, or connect with like-minded professionals, this event offers valuable insights and discussions from practical experiences.

We kindly ask that you refrain from attending for recruiting or sales purposes.
　
◎ Date
2025/05/20 18:00 〜 21:30, please RSVP.

​​◎ Reception
Please RSVP and check-in at the entrance.　　　

​​◎ Detailed Schedule

• ​18:00 〜 18:30 : Doors Open - Reception and Socializing

• ​18:30 〜 18:35 : Event intro

• ​18:35 〜 18:50 : Securing APIs with OAuth2 & Apigee - Henri Schmidt

• ​18:50 〜 18:55 : Q&A

• ​18:55 〜 19:00 : Break

• ​19:00 〜 19:15 : Verifiable software using the Lean 4 theorem prover - Juan Corena

• ​19:15 〜 19:20 : Q&A

• ​19:20 〜 19:25 : Break

• ​19:25 〜 19:40 : Lean Security: A leaner, faster, and smarter approach to securing modern businesses. - Charles Green

• ​19:40 〜 19:45 : Q&A

• ​19:45 〜 19:50 : Closing Remarks

• ​19:50 〜 21:30 : Socializing

​​◎ Services & Facilities

• ​​Beverages and snacks/light food will be available.

• ​​WiFi and power outlets 　　　　　　

• ​​Restrooms