Ryan W. Gardner

According to our database, Ryan W. Gardner authored at least 20 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Continuous Mean-Zero Disagreement-Regularized Imitation Learning (CMZ-DRIL).

Noah Ford, Ryan W. Gardner, Austin Juhl, Nathan Larson

CoRR, 2024

Attacking the Diebold Signature Variant - RSA Signatures with Unverified High-order Padding.

Ryan W. Gardner, Tadayoshi Kohno, Alec Yasinsac

CoRR, 2024

2023

A Risk-Sensitive Approach to Policy Optimization.

Jared Markowitz, Ryan W. Gardner, Ashley J. Llorens, Raman Arora, I-Jeng Wang

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2021

The Second NeurIPS Tournament of Reconnaissance Blind Chess.

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

Proceedings of the NeurIPS 2021 Competitions and Demonstrations Track, 2021

The Machine Reconnaissance Blind Chess Tournament of NeurIPS 2022.

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

Proceedings of the NeurIPS 2022 Competition Track, 2021

2020

Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning.

Ritchie Lee, Ole J. Mengshoel, Anshu Saksena, Ryan W. Gardner, Daniel Genin, Joshua Silbermann, Michael P. Owen, Mykel J. Kochenderfer

J. Artif. Intell. Res., 2020

2019

The First International Competition in Machine Reconnaissance Blind Chess.

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

Proceedings of the NeurIPS 2019 Competition and Demonstration Track, 2019

2018

On the Complexity of Reconnaissance Blind Chess.

Jared Markowitz, Ryan W. Gardner, Ashley J. Llorens

CoRR, 2018

Adaptive Stress Testing: Finding Failure Events with Reinforcement Learning.

Ritchie Lee, Ole J. Mengshoel, Anshu Saksena, Ryan W. Gardner, Daniel Genin, Joshua Silbermann, Michael P. Owen, Mykel J. Kochenderfer

CoRR, 2018

2017

A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system.

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora C. Schmidt, Ryan W. Gardner, Stefan Mitsch, André Platzer

Int. J. Softw. Tools Technol. Transf., 2017

2015

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

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

Proceedings of the 2015 International Conference on Embedded Software, 2015

2010

Designing for Audit: A Voting Machine with a Tiny TCB.

Ryan W. Gardner, Sujata Garera, Aviel D. Rubin

Proceedings of the Financial Cryptography and Data Security, 14th International Conference, 2010

2009

Detecting code alteration by creating a temporary memory bottleneck.

Ryan W. Gardner, Sujata Garera, Aviel D. Rubin

IEEE Trans. Inf. Forensics Secur., 2009

Are Patched Machines Really Fixed?

Ryan W. Gardner, Matt Bishop, Tadayoshi Kohno

IEEE Secur. Priv., 2009

Coercion Resistant End-to-end Voting.

Ryan W. Gardner, Sujata Garera, Aviel D. Rubin

Proceedings of the Financial Cryptography and Data Security, 2009

2007

On the Difficulty of Validating Voting Machine Software with Software.

Ryan W. Gardner, Sujata Garera, Aviel D. Rubin

Proceedings of the 2007 USENIX/ACCURATE Electronic Voting Technology Workshop, 2007

2006

A Security Analysis of the Internet Chess Club.

John Black, Martin Cochran, Ryan W. Gardner

IEEE Secur. Priv., 2006

2005

Lessons Learned: A Security Analysis of the Internet Chess Club.

John Black, Martin Cochran, Ryan W. Gardner

Proceedings of the 21st Annual Computer Security Applications Conference (ACSAC 2005), 2005

2004

How to Cheat at Chess: A Security Analysis of the Internet Chess Club.

John Black, Martin Cochran, Ryan W. Gardner

IACR Cryptol. ePrint Arch., 2004