Security Seminar

Name: Formally Verified Numerical Methods
Start: 2025-01-21T15:00:00-05:00
End: 2025-01-21T16:00:00-05:00
Location: 3725 Beyster Building

Events
Security Seminar

October 2016

October 7, 2016 @ 11:30 am

Computer security: I think we can win!

October 12, 2016 @ 4:00 pm

The Moral Character of Cryptographic Work

May 2017

May 4, 2017 @ 11:00 am

Defending dissidents against targeted digital surveillance

July 2017

July 10, 2017 @ 10:00 am

Building Robust Distributed Systems and Network Protocols by Using Adversarial Testing and Behavioral Analysis

July 10, 2017 @ 3:00 pm

Global Measurement of DNS Manipulation

October 2018

October 9, 2018 @ 12:30 pm

Backtracking System Intrusions at Enterprise Scale

October 19, 2018 @ 10:00 am

Screaming Channels: When Electromagnetic Side Channels Meet Radio Transceivers

February 2019

February 28, 2019 @ 3:30 pm

Seven Things: Frank Zappa, T. Coraghasen Boyle, and Twenty-one Years in Security

January 2023

January 26, 2023 @ 2:00 pm - 3:00 pm

How the Stock Market is a Cryptography Problem (and no, this isn’t about cryptocurrency)

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

January 2025

January 21 @ 3:00 pm - 4:00 pm

Formally Verified Numerical Methods

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States