Date |
Time |
Speaker |
Talk Title |
2024-02-12 |
12:00 |
Vidushi Liyanaarachchi
|
Formal Verification of the Correctness of Software Transactional Memory |
2024-02-19 |
12:00 |
Palak
|
Machine-Checked Cryptography |
2024-03-04 |
12:00 |
Tingfeng Yu
|
Security and Anonymity in Instant Messaging |
2024-03-18 |
12:00 |
Zara Hassan
|
Reproducibility Debt In Scientific Software: Challenges and Future Pathways |
2024-03-25 |
12:00 |
Xinyu Zheng
|
Persistence by Reachability in Rust |
2024-04-15 |
12:00 |
Raheleh Jalali
|
On the Completeness of Interpolation Procedures |
2024-04-22 |
12:00 |
Kunal Sareen
|
Memory Management on Mobile Devices |
2024-04-29 |
12:00 |
Geoff Huston
|
BGP in 2023 |
2024-05-13 |
12:00 |
Jonte Deakin
|
Conditional Logic Beyond Distributivity |
2024-05-17 |
15:00 |
Jeremy Singer
|
Stop that Hacker! CHERI for Hardware-Enforced Runtime Memory Safety |
2024-05-20 |
12:00 |
Manish Gupta
|
The Transformative Power of AI and Open Challenges |
2024-06-03 |
12:00 |
Peter Oslington
|
Fuzzing performance of the PeAR static binary rewriting tool |
2024-06-17 |
12:00 |
Jack Stodart
|
Automatic-ish Verification with Viper |
2024-06-21 |
11:00 |
Vineet Rajani
|
Graded modal types for quantitative analysis of higher-order probabilistic programs |
2024-06-24 |
12:00 |
Weiyou Wang
|
Synchrons -- A component-based interpretation of transitions in the operational semantics of process algebras |
2024-07-26 |
10:00 |
Timothy Bourke
|
Scheduling and compiling rate-synchronous programs with end-to-end latency constraints |
2024-07-29 |
12:00 |
Hayley Patton
|
Reinvestigating typed assembly language and the garbage collection interface |
2024-08-05 |
12:00 |
Dr. Rolando Trujillo
|
Is Eve nearby? Analysing protocols under the distant-attacker assumption |
2024-08-12 |
12:00 |
Jesse Laeuchli
|
Quantum Methods for Remote Memory Attestation |
2024-08-26 |
12:00 |
Eric Hall
|
Formal Verification of Convolutional Codes |
2024-09-02 |
12:00 |
Sri AravindaKrishnan Thyagarajan
|
TBD |
2024-09-09 |
12:00 |
Haibo Zhang
|
TBD |