Ryan W. Gardner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2005–2023
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | AAAI | A Risk-Sensitive Approach to Policy Optimization. | Jared Markowitz, Ryan W. Gardner, Ashley J. Llorens, Raman Arora, I-Jeng Wang |
| 2015 | EMSOFT | Formal verification of ACAS X, an industrial airborne collision avoidance system. | Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, Andr Platzer |
| 2015 | TACAS | A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System. | Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, Andr Platzer |
| 2010 | FC | Designing for Audit: A Voting Machine with a Tiny TCB. | Ryan W. Gardner, Sujata Garera, Aviel D. Rubin |
| 2009 | FC | Coercion Resistant End-to-end Voting. | Ryan W. Gardner, Sujata Garera, Aviel D. Rubin |
| 2005 | ACSAC | Lessons Learned: A Security Analysis of the Internet Chess Club. | John Black, Martin Cochran, Ryan W. Gardner |