Junia Valente

Orcid: 0000-0003-4411-5419

According to our database1, Junia Valente authored at least 14 papers between 2012 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Improving the Security of Visual Challenges.
ACM Trans. Cyber Phys. Syst., 2019

Stealing, Spying, and Abusing: Consequences of Attacks on Internet of Things Devices.
IEEE Secur. Priv., 2019

Privacy and Security in Internet-Connected Cameras.
Proceedings of the 2019 IEEE International Congress on Internet of Things, 2019

2018
A Survey of Physics-Based Attack Detection in Cyber-Physical Systems.
ACM Comput. Surv., 2018

2017
Remote Proofs of Video Freshness for Public Spaces.
Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, 2017

Understanding Security Threats in Consumer Drones Through the Lens of the Discovery Quadcopter Family.
Proceedings of the 2017 Workshop on Internet of Things Security and Privacy, 2017

Security & Privacy in Smart Toys.
Proceedings of the 2017 Workshop on Internet of Things Security and Privacy, 2017

2016
Limiting the Impact of Stealthy Attacks on Industrial Control Systems.
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015
Using Visual Challenges to Verify the Integrity of Security Cameras.
Proceedings of the 31st Annual Computer Security Applications Conference, 2015

2014
Cyber-Physical Systems Attestation.
Proceedings of the IEEE International Conference on Distributed Computing in Sensor Systems, 2014

2013
DIVAs 4.0: A Multi-Agent Based Simulation Framework.
Proceedings of the 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2013

DIVAs 4.0: a framework for the development of situated multi-agent based simulation systems.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012
On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy.
Int. J. Agent Technol. Syst., 2012

Modeling agent-based traffic simulation properties in Alloy.
Proceedings of the 2012 Spring Simulation Multiconference, 2012


  Loading...