Æȷοì
Ryan W. Gardner
Ryan W. Gardner
Johns Hopkins University Applied Physics Laboratory
jhuapl.eduÀÇ À̸ÞÀÏ È®ÀεÊ
Á¦¸ñ
Àοë
Àοë
¿¬µµ
A formally verified hybrid system for the next-generation airborne collision avoidance system
JB Jeannin, K Ghorbal, Y Kouskoulas, R Gardner, A Schmidt, E Zawadzki, ...
Tools and Algorithms for the Construction and Analysis of Systems: 21st ¡¦, 2015
932015
Adaptive stress testing: Finding likely failure events with reinforcement learning
R Lee, OJ Mengshoel, A Saksena, RW Gardner, D Genin, J Silbermann, ...
Journal of Artificial Intelligence Research 69, 1165-1201, 2020
572020
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system
JB Jeannin, K Ghorbal, Y Kouskoulas, A Schmidt, R Gardner, S Mitsch, ...
International Journal on Software Tools for Technology Transfer 19, 717-741, 2017
572017
Multi-stage replay with crosscut
J Chow, D Lucchetti, T Garfinkel, G Lefebvre, R Gardner, J Mason, ...
Proceedings of the 6th ACM SIGPLAN/SIGOPS international conference on ¡¦, 2010
572010
Detecting code alteration by creating a temporary memory bottleneck
RW Gardner, S Garera, AD Rubin
IEEE Transactions on Information Forensics and Security 4 (4), 638-650, 2009
512009
Formal verification of ACAS X, an industrial airborne collision avoidance system
JB Jeannin, K Ghorbal, Y Kouskoulas, R Gardner, A Schmidt, E Zawadzki, ...
2015 International Conference on Embedded Software (EMSOFT), 127-136, 2015
462015
Apparatus and method for identifying related code variants in binaries
MF Lospinuso, DM Patrone, DP Silberberg, JD Cohen, RW Gardner, ...
US Patent 9,003,529, 2015
412015
Coercion resistant end-to-end voting
RW Gardner, S Garera, AD Rubin
International Conference on Financial Cryptography and Data Security, 344-361, 2009
402009
Securing medical records on smart phones
RW Gardner, S Garera, MW Pagano, M Green, AD Rubin
Proceedings of the first ACM workshop on Security and privacy in medical and ¡¦, 2009
352009
On the Difficulty of Validating Voting Machine Software with Software.
RW Gardner, S Garera, AD Rubin
EVT 7, 11-11, 2007
332007
Differential adaptive stress testing of airborne collision avoidance systems
R Lee, O Mengshoel, A Saksena, R Gardner, D Genin, J Brush, ...
2018 AIAA Modeling and Simulation Technologies Conference, 1923, 2018
212018
Software review and security analysis of the Diebold voting machine software
R Gardner, A Yasinsac, M Bishop, T Kohno, Z Hartley, J Kerski, D Gainey, ...
Security and Assurance in Information Technology (SAIT) Laboratory, Florida ¡¦, 2007
202007
Probabilistic model checking of the next-generation airborne collision avoidance system
RW Gardner, D Genin, R McDowell, C Rouff, A Saksena, A Schmidt
2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), 1-10, 2016
192016
Adaptive stress testing: Finding failure events with reinforcement learning
R Lee, OJ Mengshoel, A Saksena, R Gardner, D Genin, J Silbermann, ...
arXiv preprint arXiv:1811.02188, 2018
102018
The First International Competition in Machine Reconnaissance Blind Chess
RW Gardner, C Lowman, C Richardson, AJ Llorens, J Markowitz, ...
NeurIPS 2019 Competition and Demonstration Track, 121-130, 2020
92020
On the complexity of reconnaissance blind chess
J Markowitz, RW Gardner, AJ Llorens
arXiv preprint arXiv:1811.03119, 2018
92018
Method and apparatus for automated vulnerability detection
YA Kouskoulas, DC Schmidt, CD McDonell III, LJ Glendenning, ...
US Patent 9,507,945, 2016
82016
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system. STTT 19 (6), 717–741 (2017)
J Jeannin, K Ghorbal, Y Kouskoulas, A Schmidt, R Gardner, S Mitsch, ...
8
Are patched machines really fixed?
RW Gardner, M Bishop, T Kohno
IEEE Security & Privacy 7 (5), 82-85, 2009
72009
Analysis of Virtual Machine Record and Replay for Trustworthy Computing
JB Grizzard, RW Gardner
Johns Hopkins APL technical digest 32 (2), 8, 2013
52013
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20