Andres Molina-Markham

15 papers A* 2A 1Journal 6Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Autoformalization of Cryptographic Protocols. ICDM (Workshops) Lauren Brandt, Joshua D. Guttman, Andres Molina-Markham
2025	J	`jnl`	Training RL Agents for Multi-Objective Network Defense Tasks. CoRR Andres Molina-Markham, Luis F. Robaina, Sean Steinle, Akash H. Trivedi, Derek G. Tsui, Nicholas Potteiger, Lauren Brandt, Ransom K. Winder, Ahmed Ridley
2023	A*	`conf`	Poster: Generating Experiences for Autonomous Network Defense. CCS Andres Molina-Markham, Luis F. Robaina, Akash H. Trivedi, Derek G. Tsui, Ahmad Ridley
2022	J	`jnl`	Evaluating Automated Driving Planner Robustness against Adversarial Influence. CoRR Andres Molina-Markham, Silvia G. Ionescu, Erin Lanus, Derek Ng, Sam Sommerer, Joseph J. Rushanan
2021	J	`jnl`	Network Defense is Not a Game. CoRR Andres Molina-Markham, Ransom K. Winder, Ahmad Ridley
2021	J	`jnl`	Network Environment Design for Autonomous Cyberdefense. CoRR Andres Molina-Markham, Cory Miniter, Becky Powell, Ahmad Ridley
2017	—	`conf`	Continuous Verification for Cryptographic Protocol Development. SafeThings@SenSys Andres Molina-Markham, Paul D. Rowe
2014	—	`conf`	Amulet: a secure architecture for mHealth applications for low-power wearable devices. MMA@SenSys Andres Molina-Markham, Ronald A. Peterson, Joseph Skinner, Tianlong Yun, Bhargav Golla, Kevin Freeman, Travis Peters, Jacob Sorber, Ryan J. Halter, David Kotz
2014	A	`conf`	Poster: Enabling computational jewelry for mHealth applications. MobiSys Andres Molina-Markham, Ronald A. Peterson, Joseph Skinner, Ryan J. Halter, Jacob Sorber, David Kotz
2014	A*	`conf`	ZEBRA: Zero-Effort Bilateral Recurring Authentication. IEEE Symposium on Security and Privacy Shrirang Mare, Andres Molina-Markham, Cory Cornelius, Ronald A. Peterson, David Kotz
2013	J	`jnl`	Securing Information Technology in Healthcare. IEEE Secur. Priv. Denise L. Anthony, Andrew T. Campbell, Thomas Candon, Andrew Gettinger, David Kotz, Lisa A. Marsch, Andres Molina-Markham, Karen Page, Sean W. Smith, Carl A. Gunter, M. Eric Johnson
2012	—	`conf`	Designing Privacy-Preserving Smart Meters with Low-Cost Microcontrollers. Financial Cryptography Andres Molina-Markham, George Danezis, Kevin Fu, Prashant J. Shenoy, David Irwin
2011	J	`jnl`	Designing Privacy-preserving Smart Meters with Low-cost Microcontrollers. IACR Cryptol. ePrint Arch. Andres Molina-Markham, George Danezis, Kevin Fu, Prashant J. Shenoy, David Irwin
2011	—	`conf`	Take Two Software Updates and See Me in the Morning: The Case for Software Security Evaluations of Medical Devices. HealthSec Steve Hanna, Rolf Rolles, Andres Molina-Markham, Pongsin Poosankam, Jeremiah Blocki, Kevin Fu, Dawn Song
2010	—	`conf`	Private memoirs of a smart meter. BuildSys@SenSys Andres Molina-Markham, Prashant J. Shenoy, Kevin Fu, Emmanuel Cecchet, David Irwin