![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Ryan W. Gardner
Person information
- affiliation: Johns Hopkins University, Applied Physics Laboratory, Baltimore, MD, USA
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i6]Ryan W. Gardner, Tadayoshi Kohno, Alec Yasinsac:
Attacking the Diebold Signature Variant - RSA Signatures with Unverified High-order Padding. CoRR abs/2403.01048 (2024) - [i5]Noah Ford, Ryan W. Gardner, Austin Juhl, Nathan Larson:
Continuous Mean-Zero Disagreement-Regularized Imitation Learning (CMZ-DRIL). CoRR abs/2403.01059 (2024) - 2023
- [c10]Jared Markowitz, Ryan W. Gardner, Ashley J. Llorens, Raman Arora, I-Jeng Wang:
A Risk-Sensitive Approach to Policy Optimization. AAAI 2023: 15019-15027 - 2022
- [i4]Jared Markowitz, Ryan W. Gardner, Ashley J. Llorens, Raman Arora, I-Jeng Wang:
A Risk-Sensitive Approach to Policy Optimization. CoRR abs/2208.09106 (2022) - 2021
- [c9]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:
The Second NeurIPS Tournament of Reconnaissance Blind Chess. NeurIPS (Competition and Demos) 2021: 53-65 - [c8]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:
The Machine Reconnaissance Blind Chess Tournament of NeurIPS 2022. NeurIPS (Competition and Demos) 2021: 119-132 - 2020
- [j5]Ritchie Lee, Ole J. Mengshoel, Anshu Saksena, Ryan W. Gardner, Daniel Genin, Joshua Silbermann, Michael P. Owen, Mykel J. Kochenderfer:
Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning. J. Artif. Intell. Res. 69: 1165-1201 (2020)
2010 – 2019
- 2019
- [c7]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:
The First International Competition in Machine Reconnaissance Blind Chess. NeurIPS (Competition and Demos) 2019: 121-130 - 2018
- [i3]Ritchie Lee, Ole J. Mengshoel, Anshu Saksena, Ryan W. Gardner, Daniel Genin, Joshua Silbermann, Michael P. Owen, Mykel J. Kochenderfer:
Adaptive Stress Testing: Finding Failure Events with Reinforcement Learning. CoRR abs/1811.02188 (2018) - [i2]Jared Markowitz, Ryan W. Gardner, Ashley J. Llorens:
On the Complexity of Reconnaissance Blind Chess. CoRR abs/1811.03119 (2018) - 2017
- [j4]Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora C. Schmidt, Ryan W. Gardner, Stefan Mitsch, André Platzer
:
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system. Int. J. Softw. Tools Technol. Transf. 19(6): 717-741 (2017) - 2015
- [c6]Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer
:
Formal verification of ACAS X, an industrial airborne collision avoidance system. EMSOFT 2015: 127-136 - [c5]Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer
:
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System. TACAS 2015: 21-36 - 2010
- [c4]Ryan W. Gardner, Sujata Garera, Aviel D. Rubin:
Designing for Audit: A Voting Machine with a Tiny TCB. Financial Cryptography 2010: 312-319
2000 – 2009
- 2009
- [j3]Ryan W. Gardner, Matt Bishop, Tadayoshi Kohno:
Are Patched Machines Really Fixed? IEEE Secur. Priv. 7(5): 82-85 (2009) - [j2]Ryan W. Gardner, Sujata Garera, Aviel D. Rubin:
Detecting code alteration by creating a temporary memory bottleneck. IEEE Trans. Inf. Forensics Secur. 4(4): 638-650 (2009) - [c3]Ryan W. Gardner, Sujata Garera, Aviel D. Rubin:
Coercion Resistant End-to-end Voting. Financial Cryptography 2009: 344-361 - 2007
- [c2]Ryan W. Gardner, Sujata Garera, Aviel D. Rubin:
On the Difficulty of Validating Voting Machine Software with Software. EVT 2007 - 2006
- [j1]John Black, Martin Cochran, Ryan W. Gardner:
A Security Analysis of the Internet Chess Club. IEEE Secur. Priv. 4(1): 46-52 (2006) - 2005
- [c1]John Black, Martin Cochran, Ryan W. Gardner:
Lessons Learned: A Security Analysis of the Internet Chess Club. ACSAC 2005: 245-253 - 2004
- [i1]John Black, Martin Cochran, Ryan W. Gardner:
How to Cheat at Chess: A Security Analysis of the Internet Chess Club. IACR Cryptol. ePrint Arch. 2004: 203 (2004)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint