HotSoS

Publications

2020

Kaushik Ayinala, Baek-Young Choi, Sejun Song
Accelerating block propagation in PoW blockchain networks with pipelining and chunking. HotSoS (2020)
Ira Ray Jenkins, Prashant Anantharaman, Rebecca Shapiro, J. Peter Brady, Sergey Bratus, Sean W. Smith
Ghostbusting: mitigating spectre with intraprocess memory isolation. HotSoS (2020)
Andrew Arnold, Paul Corapi, Michael Nasta, Kevin Wolgast, Thomas A. Babbitt
A raspberry Pi sensor network for wildlife conservation. HotSoS (2020)
Conor Gilsenan, Noura Alomar, Andrew Huang, Serge Egelman
Decentralized backup and recovery of TOTP secrets. HotSoS (2020)
Ryan Gabrys, Luis Martinez, Sunny Fugate
How to swap instructions midstream: an embedding algorithm for program steganography. HotSoS (2020)
Hoang Hai Nguyen
An uncertain graph-based approach for cyber-security risk assessment. HotSoS (2020)
Khir Henderson, Kevin T. Kornegay
Improving architectures for automating network security using specification-based protocols. HotSoS (2020)
Jairo Giraldo, David I. Urbina, Chee Yee Tang, Alvaro A. Cárdenas
The more the merrier: adding hidden measurements to secure industrial control systems. HotSoS (2020)
Proceedings of the 7th Annual Symposium on Hot Topics in the Science of Security, HotSoS 2020, Lawrence, Kansas, USA, September 22-24, 2020 HotSoS (2020)
Lauren Elizabeth Provost, Rebecca Labitt, Danielle Alexandre, Asher Rodriguez
Approaches to ethical hacking: expanding conceptual frameworks for research. HotSoS (2020)
Justin Murphy, Elias T. Brady, Md. Shazibul Islam Shamim, Akond Rahman
A curated dataset of security defects in scientific software projects. HotSoS (2020)
Raunak Shakya, Akond Rahman
A preliminary taxonomy of techniques used in software fuzzing. HotSoS (2020)
Olufogorehan Tunde-Onadele, Yuhang Lin, Jingzhu He, Xiaohui Gu
Toward just-in-time patching for containerized applications. HotSoS (2020)
Adam Petz
An infrastructure for faithful execution of remote attestation protocols. HotSoS (2020)
Sohaib Kiani, Sana Awan, Jun Huan, Fengjun Li, Bo Luo
WOLF: automated machine learning workflow management framework for malware detection and other applications. HotSoS (2020)
Aidan McCarthy, Liam Furey, Keagan Smith, Daniel Hawthorne, Raymond W. Blaine
Application of the armament cyber assessment framework: a security assessment methodology for military systems. HotSoS (2020)
Farzana Ahamed Bhuiyan, Raunak Shakya, Akond Rahman
Can we use software bug reports to identify vulnerability discovery strategies? HotSoS (2020)
Li Li, Proyash Podder, Md. Endadul Hoque
A formal security analysis of ZigBee (1.0 and 3.0). HotSoS (2020)
Grant Jurgensen, Michael Neises, Perry Alexander
An seL4-based architecture for layered attestation. HotSoS (2020)
Jiani Li, Waseem Abbas, Mudassir Shabbir, Xenofon D. Koutsoukos
Resilient multi-robot target pursuit. HotSoS (2020)
Bradley Potteiger, Jacob Mills, Daniel Cohen, Paul Velez
RUCKUS: a cybersecurity engine for performing autonomous cyber-physical system vulnerability discovery at scale. HotSoS (2020)
Ali Irmak Ozdagli, Carlos A. Barreto, Xenofon D. Koutsoukos
@PAD: adversarial training of power systems against denial-of-service attacks. HotSoS (2020)
Mohammad A. Al-Ramahi, Izzat Alsmadi, Joshua Davenport
Exploring hackers assets: topics of interest as indicators of compromise. HotSoS (2020)
Chandra Sharma, Nathan Miller, George T. Amariucai
Neutralizing manipulation of critical data by enforcing data-instruction dependency. HotSoS (2020)
Eric D. Vugrin, Jerry Cruz, Christian Reedy, Thomas D. Tarman, Ali Pinar
Cyber threat modeling and validation: port scanning and detection. HotSoS (2020)
Sarah Michele Rajtmajer, Daniel Susser
Automated influence and the challenge of cognitive security. HotSoS (2020)
Nancy Mogire
Tokens of interaction: psycho-physiological signals, a potential source of evidence of digital incidents. HotSoS (2020)
Qais Tasali, Nikesh Gyawali, Eugene Y. Vasserman
Time series anomaly detection in medical break-the-glass. HotSoS (2020)
Himanshu Neema, Xenofon D. Koutsoukos, Bradley Potteiger, Chee Yee Tang, Keith Stouffer
Simulation testbed for railway infrastructure security and resilience evaluation. HotSoS (2020)
Michael Garrett Bechtel, Heechul Yun
Exploiting DRAM bank mapping and HugePages for effective denial-of-service attacks on shared cache in multicore. HotSoS (2020)
Md. Rayhanur Rahman, William Enck, Laurie A. Williams
Do configuration management tools make systems more secure?: an empirical research plan. HotSoS (2020)

2019