Ryan W. Gardner

21 papers A* 1A 2Misc 1Journal 11Unranked 6
YearRankTypeTitle / Venue / Authors
2024 J jnl
Attacking the Diebold Signature Variant - RSA Signatures with Unverified High-order Padding.
CoRR
Ryan W. Gardner, Tadayoshi Kohno, Alec Yasinsac
2024 J jnl
Continuous Mean-Zero Disagreement-Regularized Imitation Learning (CMZ-DRIL).
CoRR
Noah Ford, Ryan W. Gardner, Austin Juhl, Nathan Larson
2023 A* conf
A Risk-Sensitive Approach to Policy Optimization.
AAAI
Jared Markowitz, Ryan W. Gardner, Ashley J. Llorens, Raman Arora, I-Jeng Wang
2022 J jnl
A Risk-Sensitive Approach to Policy Optimization.
CoRR
Jared Markowitz, Ryan W. Gardner, Ashley J. Llorens, Raman Arora, I-Jeng Wang
2021 — conf
The Machine Reconnaissance Blind Chess Tournament of NeurIPS 2022.
NeurIPS (Competition and Demos)
Ryan W. Gardner, Gino Perrotta, Anvay Shah, Shivaram Kalyanakrishnan, Kevin A. Wang, Gregory Clark, Timo Bertram, Johannes Fürnkranz, Martin Müller, Brady P. Garrison, Prithviraj Dasgupta, Saeid Rezaei
2021 — conf
The Second NeurIPS Tournament of Reconnaissance Blind Chess.
NeurIPS (Competition and Demos)
Gino Perrotta, Ryan W. Gardner, Corey Lowman, Mohammad Taufeeque, Nitish Tongia, Shivaram Kalyanakrishnan, Gregory Clark, Kevin Wang, Eitan Rothberg, Brady P. Garrison, Prithviraj Dasgupta, Callum Canavan, Lucas McCabe
2020 J jnl
Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning.
J. Artif. Intell. Res.
Ritchie Lee, Ole J. Mengshoel, Anshu Saksena, Ryan W. Gardner, Daniel Genin, Joshua Silbermann, Michael P. Owen, Mykel J. Kochenderfer
2019 — conf
The First International Competition in Machine Reconnaissance Blind Chess.
NeurIPS (Competition and Demos)
Ryan W. Gardner, Corey Lowman, Casey Richardson, Ashley J. Llorens, Jared Markowitz, Nathan Drenkow, Andrew Newman, Gregory Clark, Gino Perrotta, Robert Perrotta, Timothy Highley, Vlad Shcherbina, William Bernadoni, Mark Jordan, Asen Asenov
2018 J jnl
Adaptive Stress Testing: Finding Failure Events with Reinforcement Learning.
CoRR
Ritchie Lee, Ole J. Mengshoel, Anshu Saksena, Ryan W. Gardner, Daniel Genin, Joshua Silbermann, Michael P. Owen, Mykel J. Kochenderfer
2018 J jnl
On the Complexity of Reconnaissance Blind Chess.
CoRR
Jared Markowitz, Ryan W. Gardner, Ashley J. Llorens
2017 J jnl
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system.
Int. J. Softw. Tools Technol. Transf.
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora C. Schmidt, Ryan W. Gardner, Stefan Mitsch, André Platzer
2015 A conf
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System.
TACAS
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer
2015 Misc conf
Formal verification of ACAS X, an industrial airborne collision avoidance system.
EMSOFT
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer
2010 — conf
Designing for Audit: A Voting Machine with a Tiny TCB.
Financial Cryptography
Ryan W. Gardner, Sujata Garera, Aviel D. Rubin
2009 J jnl
Are Patched Machines Really Fixed?
IEEE Secur. Priv.
Ryan W. Gardner, Matt Bishop, Tadayoshi Kohno
2009 — conf
Coercion Resistant End-to-end Voting.
Financial Cryptography
Ryan W. Gardner, Sujata Garera, Aviel D. Rubin
2009 J jnl
Detecting code alteration by creating a temporary memory bottleneck.
IEEE Trans. Inf. Forensics Secur.
Ryan W. Gardner, Sujata Garera, Aviel D. Rubin
2007 — conf
On the Difficulty of Validating Voting Machine Software with Software.
EVT
Ryan W. Gardner, Sujata Garera, Aviel D. Rubin
2006 J jnl
A Security Analysis of the Internet Chess Club.
IEEE Secur. Priv.
John Black, Martin Cochran, Ryan W. Gardner
2005 A conf
Lessons Learned: A Security Analysis of the Internet Chess Club.
ACSAC
John Black, Martin Cochran, Ryan W. Gardner
2004 J jnl
How to Cheat at Chess: A Security Analysis of the Internet Chess Club.
IACR Cryptol. ePrint Arch.
John Black, Martin Cochran, Ryan W. Gardner