] Filters: Author is Xenofon Kousoukos [Clear All Filters]
"Model-Based Design for CPS with Learning-Enabled Components",
Design Automation for CPS and IoT (DESTION 2019), Montreal, Canada, April 2019.
Leveraging EM Side-Channel Information to Detect Rowhammer Attacks,
, 2019.
Download: radar.pdf (5.86 MB)
"Integrated Simulation Testbed for Security and Resilience of CPS",
The 33rd ACM Symposium on Applied Computing - Cyber-Physical Systems Track, Pau, France, ACM, 04/2018.
Abstract
"Vulnerability Analysis of Power Systems Based on Cyber-Attack and Defense Models",
ISGT, Washington DC, IEEE, 02/2018.
Abstract
Download: ISGT-2018.pdf (393.8 KB); ISGT_2018_presentation_new.pdf (823.5 KB)
"Simulation-Based Analysis of Cyber Resilience in Cyber-Physical Systems",
Cyber Resilience of Networks and Systems: Springer, 2018.
"Handling Write Backs in Multi-Level Cache Analysis for WCET Estimation",
25th International Conference on Real-Time Networks and Systems (RTNS), Grenoble, France, ACM, 10/2017.
Download: rtns'17.pdf (1.13 MB)
"Evaluating the effects of cyber-attacks on cyber physical systems using a hardware-in-the-loop simulation testbed",
Resilience Week (RWS), Wilmington, DE, IEEE, pp. 177-183, 09/2017.
Abstract
"Cache-Related Preemption Delay Analysis for Multi-Level Inclusive Caches",
International Conference on Embedded Software (EMSOFT), Pittsburgh, PA, USA, 10/2016.
Download: PID4361635.pdf (341.45 KB)
"Performance Evaluation of Secure Industrial Control System Design: A Railway Control System Case Study",
4th International Symposium on Resilient Cyber Systems, Chicago, IL, 08/2016.
Abstract
"SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience",
7th International Conference on Cyber-Physical Systems (ICCPS) , Vienna, Austria, 04/2016.
Abstract
SURE: An Experimentation and Evaluation Testbed for Security and Resilience of CPS (Poster),
, Science of Security Quarterly Lablet Meeting, Raleigh, NC, 02/2016.
"Precise Multi-Level Inclusive Cache Analysis for WCET Estimation",
36th IEEE Real-Time Systems Symposium (RTSS), 12/2015.
Download: PID3875999.pdf (520.11 KB)
Resilient traffic light control (Poster),
, Science of Security Quarterly Lablet Meeting, College Park, MD, 10/2015.
"Towards a Systematic Threat Modeling Approach for Cyber-physical Systems",
2nd National Symposium on Resilient Critical Infrastructure (ISRCS 2015), Philadelphia, 08/2015.
Abstract
Download: eRTM_Paper.pdf (432.7 KB)
"Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis",
16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), Portland, OR, USA, 06/2015.
Download: Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis.pdf (756.55 KB)
"Top-Down and Bottom-Up Multi-Level Cache Analysis for WCET Estimation",
21st Real-Time and Embedded Technology and Applications Symposium (RTAS), Seattle, WA, USA, 04/2015.
Download: Top-Down and Bottom-Up Multi-Level Cache Analysis for WCET Estimation.pdf (793.77 KB)
"Generic Value-Set Analysis on Low-Level Code",
The 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop, Rome, Italy, 2014.
Download: avicps '14.pdf (221.36 KB)
"Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems",
International Embedded Systems Symposium, Paderborn, Germany, Springer, 06/2013.
"A Simulation Framework for Design of Mixed Time-Event-Triggered Distributed Control Systems with SystemC/TLM",
The 3rd Analytic Virtual Integration of Cyber-Physical Systems Workshop, San Juan, Puerto Rico, 12/2012.
Download: AVICPS'12.pdf (1.52 MB)
"Detection using intermittent observations for passive wireless sensors",
American Control Conference, ACC2009, St. Louis, Missouri, 06/2009.
"Optimal performance for detection systems in wireless passive sensor networks.",
17th Mediterranean Conference on Control and Automation, MED’09, Thessaloniki, Greece, 06/2009.
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering