Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publications of Ryan Wagner   Download bibtex file Order by:   Type | Year
<< 2024 >> TOP
1
Bruno Sousa, Duarte Dias, Nuno Antunes, Javier Cámara, Ryan Wagner, Bradley Schmerl, David Garlan and Pedro Fidalgo. MONDEO-Tactics5G: Multistage botnet detection and tactics for 5G/6G networks. In Computers & Security, Vol. 140, May 2024. https://doi.org/10.1016/j.cose.2024.103768.
<< 2021 >> TOP
2
Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco Manquinho, Ruben Martins and Eunsuk Kang. AlloyMax: Bringing Maximum Satisfaction to Relational Specifications. In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2021, Virtual, 23-28 August 2021. Distinguished Paper Award.
<< 2019 >> TOP
3
Cody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues and David Garlan. Modeling Observability in Adaptive Systems to Defend Against Advanced Persistent Threats. In Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for Systems Design (MEMCODE\'19), San Diego, USA, 9-11 October 2019.
<< 2018 >> TOP
4
Ryan Wagner, David Garlan and Matthew Fredrikson. An Advanced Persistent Threat Simulation Range for Research of Self-Adaptive Systems. 2018. Submitted for publication.
5
Ryan Wagner, David Garlan and Matthew Fredrikson. Poster: Quantitative Underpinnings of Secure, Graceful Degradation. In Proceedings of the 2018 Symposium of Hot Topics in the Science of Security, Raleigh, North Carolina, 10-11 April 2018.
<< 2017 >> TOP
6
Ryan Wagner, Matthew Fredrikson and David Garlan. An Advanced Persistent Threat Exemplar. Technical report, CMU-ISR-17-100, Institute of Software Research, Carnegie Mellon University, July 2017. http://reports-archive.adm.cs.cmu.edu/anon/isr2017/abstracts/17-100.html.
Feedback: ABLE Webmaster
Last modified: Sat October 12 2019 16:15:32
        BibAdmin