Modeling agent-based traffic simulation properties in Alloy. - Frederico Araujo; Junia Valente; Rym Zalila-Wenkstern (SpringSim (ADS), 2012)

On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy. - Junia Valente; Frederico Araujo; Rym Zalila-Wenkstern (Int. J. Agent Technol. Syst., 2012)

DIVAs 4.0: a framework for the development of situated multi-agent based simulation systems. - Frederico Araujo; Junia Valente; Mohammad Al-Zinati; Dane Kuiper; Rym Zalila-Wenkstern (AAMAS, 2013)

DIVAs 4.0: A Multi-Agent Based Simulation Framework. - Mohammad Al-Zinati; Frederico Araujo; Dane Kuiper; Junia Valente; Rym Zalila-Wenkstern (DS-RT, 2013)

Cyber-Physical Systems Attestation. - Junia Valente; Carlos A. Barreto; Alvaro A. Cárdenas (DCOSS, 2014)

Using Visual Challenges to Verify the Integrity of Security Cameras. - Junia Valente; Alvaro A. Cárdenas (ACSAC, 2015)

Limiting the Impact of Stealthy Attacks on Industrial Control Systems. - David I. Urbina; Jairo Alonso Giraldo; Alvaro A. Cárdenas; Nils Ole Tippenhauer; Junia Valente; Mustafa Amir Faisal; Justin Ruths; Richard Candell; Henrik Sandberg (CCS, 2016)

Security & Privacy in Smart Toys. - Junia Valente; Alvaro A. Cárdenas (IoT S&P@CCS, 2017)

Understanding Security Threats in Consumer Drones Through the Lens of the Discovery Quadcopter Family. - Junia Valente; Alvaro A. Cárdenas (IoT S&P@CCS, 2017)

Remote Proofs of Video Freshness for Public Spaces. - Junia Valente; Alvaro A. Cárdenas (CPS-SPC@CCS, 2017)

A Survey of Physics-Based Attack Detection in Cyber-Physical Systems. - Jairo Giraldo; David I. Urbina; Alvaro A. Cárdenas; Junia Valente; Mustafa Amir Faisal; Justin Ruths; Nils Ole Tippenhauer; Henrik Sandberg; Richard Candell (ACM Comput. Surv., 2018)

Privacy and Security in Internet-Connected Cameras. - Junia Valente; Keerthi Koneru; Alvaro A. Cárdenas (ICIOT, 2019)

Stealing, Spying, and Abusing: Consequences of Attacks on Internet of Things Devices. - Junia Valente; Matthew Wynn; Alvaro A. Cárdenas (IEEE Secur. Priv., 2019)

Improving the Security of Visual Challenges. - Junia Valente; Kanchan Bahirat; Kelly Venechanos; Alvaro A. Cárdenas; Prabhakaran Balakrishnan 001 (ACM Trans. Cyber Phys. Syst., 2019)