Junia Valente

14 papers A* 1A 2B 1C 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2019 J jnl
Improving the Security of Visual Challenges.
ACM Trans. Cyber Phys. Syst.
Junia Valente, Kanchan Bahirat, Kelly Venechanos, Alvaro A. Cárdenas, Prabhakaran Balakrishnan
2019 — conf
Privacy and Security in Internet-Connected Cameras.
ICIOT
Junia Valente, Keerthi Koneru, Alvaro A. Cárdenas
2019 J jnl
Stealing, Spying, and Abusing: Consequences of Attacks on Internet of Things Devices.
IEEE Secur. Priv.
Junia Valente, Matthew Wynn, Alvaro A. Cárdenas
2018 J jnl
A Survey of Physics-Based Attack Detection in Cyber-Physical Systems.
ACM Comput. Surv.
Jairo Giraldo, David I. Urbina, Alvaro A. Cárdenas, Junia Valente, Mustafa Amir Faisal, Justin Ruths, Nils Ole Tippenhauer, Henrik Sandberg, Richard Candell
2017 — conf
Remote Proofs of Video Freshness for Public Spaces.
CPS-SPC@CCS
Junia Valente, Alvaro A. Cárdenas
2017 — conf
Security & Privacy in Smart Toys.
IoT S&P@CCS
Junia Valente, Alvaro A. Cárdenas
2017 — conf
Understanding Security Threats in Consumer Drones Through the Lens of the Discovery Quadcopter Family.
IoT S&P@CCS
Junia Valente, Alvaro A. Cárdenas
2016 A* conf
Limiting the Impact of Stealthy Attacks on Industrial Control Systems.
CCS
David I. Urbina, Jairo Alonso Giraldo, Alvaro A. Cárdenas, Nils Ole Tippenhauer, Junia Valente, Mustafa Amir Faisal, Justin Ruths, Richard Candell, Henrik Sandberg
2015 A conf
Using Visual Challenges to Verify the Integrity of Security Cameras.
ACSAC
Junia Valente, Alvaro A. Cárdenas
2014 B conf
Cyber-Physical Systems Attestation.
DCOSS
Junia Valente, Carlos A. Barreto, Alvaro A. Cárdenas
2013 C conf
DIVAs 4.0: A Multi-Agent Based Simulation Framework.
DS-RT
Mohammad Al-Zinati, Frederico Araujo, Dane Kuiper, Junia Valente, Rym Zalila-Wenkstern
2013 A conf
DIVAs 4.0: a framework for the development of situated multi-agent based simulation systems.
AAMAS
Frederico Araujo, Junia Valente, Mohammad Al-Zinati, Dane Kuiper, Rym Zalila-Wenkstern
2012 — conf
Modeling agent-based traffic simulation properties in Alloy.
SpringSim (ADS)
Frederico Araujo, Junia Valente, Rym Zalila-Wenkstern
2012 J jnl
On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy.
Int. J. Agent Technol. Syst.
Junia Valente, Frederico Araujo, Rym Zalila-Wenkstern