HotSoS - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 192

2020

Exploring hackers assets: topics of interest as indicators of compromiseMohammad A. Al-Ramahi, Izzat Alsmadi, Joshua Davenport. hotsos 2020: [doi]

Proceedings of the 7th Annual Symposium on Hot Topics in the Science of Security, HotSoS 2020, Lawrence, Kansas, USA, September 22-24, 2020Perry Alexander, Drew Davidson, Baek-Young Choi, editors, ACM, 2020. [doi]

A raspberry Pi sensor network for wildlife conservationAndrew Arnold, Paul Corapi, Michael Nasta, Kevin Wolgast, Thomas A. Babbitt. hotsos 2020: [doi]

Accelerating block propagation in PoW blockchain networks with pipelining and chunkingKaushik Ayinala, Baek-Young Choi, Sejun Song. hotsos 2020: [doi]

Exploiting DRAM bank mapping and HugePages for effective denial-of-service attacks on shared cache in multicoreMichael Garrett Bechtel, Heechul Yun. hotsos 2020: [doi]

Can we use software bug reports to identify vulnerability discovery strategies?Farzana Ahamed Bhuiyan, Raunak Shakya, Akond Rahman. hotsos 2020: [doi]

How to swap instructions midstream: an embedding algorithm for program steganographyRyan Gabrys, Luis Martinez, Sunny Fugate. hotsos 2020: [doi]

Decentralized backup and recovery of TOTP secretsConor Gilsenan, Noura Alomar, Andrew Huang, Serge Egelman. hotsos 2020: [doi]

The more the merrier: adding hidden measurements to secure industrial control systemsJairo Giraldo, David I. Urbina, Chee Yee Tang, Alvaro A. Cárdenas. hotsos 2020: [doi]

Improving architectures for automating network security using specification-based protocolsKhir Henderson, Kevin Kornegay. hotsos 2020: [doi]

Ghostbusting: mitigating spectre with intraprocess memory isolationIra Ray Jenkins, Prashant Anantharaman, Rebecca Shapiro, J. Peter Brady, Sergey Bratus, Sean W. Smith. hotsos 2020: [doi]

An seL4-based architecture for layered attestationGrant Jurgensen, Michael Neises, Perry Alexander. hotsos 2020: [doi]

WOLF: automated machine learning workflow management framework for malware detection and other applicationsSohaib Kiani, Sana Awan, Jun Huan, FengJun Li, Bo Luo. hotsos 2020: [doi]

Resilient multi-robot target pursuitJiani Li, Waseem Abbas, Mudassir Shabbir, Xenofon D. Koutsoukos. hotsos 2020: [doi]

A formal security analysis of ZigBee (1.0 and 3.0)Li Li, Proyash Podder, Md. Endadul Hoque. hotsos 2020: [doi]

Application of the armament cyber assessment framework: a security assessment methodology for military systemsAidan McCarthy, Liam Furey, Keagan Smith, Daniel Hawthorne, Raymond Blaine. hotsos 2020: [doi]

Tokens of interaction: psycho-physiological signals, a potential source of evidence of digital incidentsNancy Mogire. hotsos 2020: [doi]

A curated dataset of security defects in scientific software projectsJustin Murphy, Elias T. Brady, Md. Shazibul Islam Shamim, Akond Rahman. hotsos 2020: [doi]

Simulation testbed for railway infrastructure security and resilience evaluationHimanshu Neema, Xenofon D. Koutsoukos, Bradley Potteiger, Chee Yee Tang, Keith Stouffer. hotsos 2020: [doi]

An uncertain graph-based approach for cyber-security risk assessmentHoang Hai Nguyen. hotsos 2020: [doi]

@PAD: adversarial training of power systems against denial-of-service attacksAli Irmak Ozdagli, Carlos A. Barreto, Xenofon D. Koutsoukos. hotsos 2020: [doi]

An infrastructure for faithful execution of remote attestation protocolsAdam Petz. hotsos 2020: [doi]

RUCKUS: a cybersecurity engine for performing autonomous cyber-physical system vulnerability discovery at scaleBradley Potteiger, Jacob Mills, Daniel Cohen, Paul Velez. hotsos 2020: [doi]

Approaches to ethical hacking: expanding conceptual frameworks for researchLauren Elizabeth Provost, Rebecca Labitt, Danielle Alexandre, Asher Rodriguez. hotsos 2020: [doi]

Do configuration management tools make systems more secure?: an empirical research planMd. Rayhanur Rahman, William Enck, Laurie A. Williams. hotsos 2020: [doi]

Automated influence and the challenge of cognitive securitySarah Rajtmajer, Daniel Susser. hotsos 2020: [doi]

A preliminary taxonomy of techniques used in software fuzzingRaunak Shakya, Akond Rahman. hotsos 2020: [doi]

Neutralizing manipulation of critical data by enforcing data-instruction dependencyChandra Sharma, Nathan Miller, George T. Amariucai. hotsos 2020: [doi]

Time series anomaly detection in medical break-the-glassQais Tasali, Nikesh Gyawali, Eugene Y. Vasserman. hotsos 2020: [doi]

Toward just-in-time patching for containerized applicationsOlufogorehan Tunde-Onadele, Yuhang Lin, Jingzhu He, Xiaohui Gu. hotsos 2020: [doi]

Cyber threat modeling and validation: port scanning and detectionEric D. Vugrin, Jerry Cruz, Christian Reedy, Thomas Tarman, Ali Pinar. hotsos 2020: [doi]

2019

ThreatZoom: neural network for automated vulnerability mitigationEhsan Aghaei, Ehab Al-Shaer. hotsos 2019: [doi]

Measures and metrics for the enforcement of critical security controls: a case study of boundary defenseMohiuddin Ahmed, Ehab Al-Shaer. hotsos 2019: [doi]

Exploring RNNs for analyzing Zeek HTTP dataDaniel Andrews, Jennifer Behn, Danielle Jaksha, Jinwon Seo, Madeleine Schneider, James Yoon, Suzanne J. Matthews, Rajeev Agrawal, Alexander S. Mentis. hotsos 2019: [doi]

Situated information flow theorySebastian Benthall. hotsos 2019: [doi]

Design for an educational cyber rangeRyan Brunner, Sang-Keun Oh, Jesse Ramirez, Paul Houck, Nathaniel Stickney, Raymond Blaine. hotsos 2019: [doi]

TRACTION: an infrastructure for trusted alert sharing and collaborative mitigationKey-whan Chung, Phuong Cao, Yuming Wu, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer, Alexander Withers. hotsos 2019: [doi]

Designing a Raspberry Pi sensor network for remote observation of wildlifeBrian H. Curtin, Rachelle H. David, Emmet D. Dunham, Cullen D. Johnson, Nikhil Shyamkumar, Thomas A. Babbitt, Suzanne J. Matthews. hotsos 2019: [doi]

Limitations on observability of effects in cyber-physical systemsSuresh K. Damodaran, Paul D. Rowe. hotsos 2019: [doi]

Cyber defense matrix: a new model for optimal composition of cybersecurity controls to construct resilient risk mitigationAshutosh Dutta, Ehab Al-Shaer. hotsos 2019: [doi]

Game theory for adaptive defensive cyber deceptionKimberly Ferguson-Walter, Sunny Fugate, Justin Mauger, Maxine Major. hotsos 2019: [doi]

Browser fingerprinting using combinatorial sequence testingBernhard Garn, Dimitris E. Simos, Stefan Zauner, Rick Kuhn, Raghu Kacker. hotsos 2019: [doi]

A new metric to compare anomaly detection algorithms in cyber-physical systemsJairo Giraldo, Alvaro A. Cárdenas. hotsos 2019: [doi]

Toward a reliability measurement framework automated using deep learningJohn Heaps, Xueling Zhang, Xiaoyin Wang, Travis D. Breaux, Jianwei Niu 0001. hotsos 2019: [doi]

BEEER: distributed record and replay for medical devices in hospital operating roomsAvesta Hojjati, Yunhui Long, Soteris Demetriou, Carl A. Gunter. hotsos 2019: [doi]

Learning APT chains from cyber threat intelligenceGhaith Husari, Ehab Al-Shaer, Bill Chu, Ruhani Faiheem Rahman. hotsos 2019: [doi]

A synopsis of static analysis alerts on open source softwareNasif Imtiaz, Laurie Williams. hotsos 2019: [doi]

CLIPS/ActiveSDN for automated and safe cybersecurity course-of-actions orchestrationMd. Mazharul Islam, Ehab Al-Shaer, Ashutosh Dutta, Mohammed Noraden Alsaleh. hotsos 2019: [doi]

Proceedings of the 6th Annual Symposium on Hot Topics in the Science of Security, HotSoS 2019, Nashville, TN, USA, April 1-3, 2019Xenofon D. Koutsoukos, Alvaro A. Cárdenas, Ehab Al-Shaer, editors, ACM, 2019. [doi]

Design and simulation platform for evaluation of grid distribution system and transactive energyHimanshu Neema, Harsh Vardhan, Carlos Barreto, Xenofon D. Koutsoukos. hotsos 2019: [doi]

A copland attestation managerAdam Petz, Perry Alexander. hotsos 2019: [doi]

Towards an understanding of resilience with complex networksFrancisco Pipa, John Symons. hotsos 2019: [doi]

Simulation based evaluation of security and resilience in railway infrastructureBradley Potteiger, Hamzah Abdel-Aziz, Himanshu Neema, Xenofon D. Koutsoukos. hotsos 2019: [doi]

Integrated data space randomization and control reconfiguration for securing cyber-physical systemsBradley Potteiger, Zhenkai Zhang, Xenofon D. Koutsoukos. hotsos 2019: [doi]

A formal verification of mutation-based moving target defenseMuhammad Abdul Basit Ur Rahim, Qi Duan, Ehab Al-Shaer. hotsos 2019: [doi]

A bird's eye view of knowledge needs related to penetration testingAkond Rahman, Laurie Williams. hotsos 2019: [doi]

Taming web views in the detection of Android privacy leaksXue-qin, Robert Neuhaus, Diego Gonzales, Xiaoyin Wang, Travis D. Breaux, Jianwei Niu 0001. hotsos 2019: [doi]

Load forecasting with adversarial attacks in power systems using DeepForgeXingyu Zhou, Yi Li, Carlos A. Barreto, Péter Völgyesi, Xenofon D. Koutsoukos. hotsos 2019: [doi]

Game theory for cyber deception: a tutorialQuanyan Zhu. hotsos 2019: [doi]

2018

Cryptography in a post-quantum world: posterKatharine Ahrens. hotsos 2018: [doi]

Ethics, values, and personal agents: posterNirav Ajmeri, Hui Guo, Pradeep K. Murukannaiah, Munindar P. Singh. hotsos 2018: [doi]

Exploring the raspberry Pi for data summarization in wireless sensor networks: posterAndrés Alejos, Matthew Ball, Connor Eckert, Michael Ma, Hayden Ward, Peter Hanlon, Suzanne J. Matthews. hotsos 2018: [doi]

Quantifying the security effectiveness of firewalls and DMZsHuashan Chen, Jin-Hee Cho, Shouhuai Xu. hotsos 2018: [doi]

Quantifying the security effectiveness of network diversity: posterHuashan Chen, Jin-Hee Cho, Shouhuai Xu. hotsos 2018: [doi]

Indirect cyber attacks by perturbation of environment control: a data driven attack model: posterKey-whan Chung, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer. hotsos 2018: [doi]

Challenges and approaches of performing canonical action research in software security: research paperDaniela S. Cruzes, Martin Gilje Jaatun, Tosin Daniel Oyetoyan. hotsos 2018: [doi]

Understanding privacy concerns of whatsapp users in India: posterJayati Dev, Sanchari Das, L. Jean Camp. hotsos 2018: [doi]

SecureMR: secure mapreduce computation using homomorphic encryption and program partitioningYao Dong, Ana Milanova, Julian Dolby. hotsos 2018: [doi]

Integrating historical and real-time anomaly detection to create a more resilient smart grid architecture: posterSpencer Drakontaidis, Michael Stanchi, Gabriel Glazer, Antoine Davis, Madison Stark, Caleb Clay, Jason Hussey, Nicholas Barry, Aaron St. Leger, Suzanne J. Matthews. hotsos 2018: [doi]

A comparative analysis of manual methods for analyzing security requirements in regulatory documents: POSTERSarah Elder, Anna Mattapallil, Laurie Williams. hotsos 2018: [doi]

Formal verification of the W3C web authentication protocolIness Ben Guirat, Harry Halpin. hotsos 2018: [doi]

Toward extraction of security requirements from text: posterHui Guo, Özgür Kafali, Anne-Liz Jeukeng, Laurie Williams, Munindar P. Singh. hotsos 2018: [doi]

Reinventing the privilege drop: how principled preservation of programmer intent would prevent security bugsIra Ray Jenkins, Sergey Bratus, Sean W. Smith, Maxwell Koo. hotsos 2018: [doi]

What proportion of vulnerabilities can be attributed to ordinary coding errors?: posterRick Kuhn, Mohammad S. Raunak, Raghu Kacker. hotsos 2018: [doi]

HACSAW: a trusted framework for cyber situational awarenessLeslie Leonard, William Glodek. hotsos 2018: [doi]

Robustness of deep autoencoder in intrusion detection under adversarial contaminationPooria Madani, Natalija Vlajic. hotsos 2018: [doi]

An expert-based bibliometric for a science of security: posterLindsey McGowen, Angela Stoica. hotsos 2018: [doi]

Application of capability-based cyber risk assessment methodology to a space systemMartha McNeil, Thomas Llansó, Dallas Pearson. hotsos 2018: [doi]

Using object capabilities and effects to build an authority-safe module system: posterDarya Melicher, Yangqingwei Shi, Valerie Zhao, Alex Potanin, Jonathan Aldrich. hotsos 2018: [doi]

Integrated instruction set randomization and control reconfiguration for securing cyber-physical systemsBradley Potteiger, Zhenkai Zhang, Xenofon D. Koutsoukos. hotsos 2018: [doi]

Investigating tensorflow for airport facial identification: posterNikolay Shopov, Mingu Jeong, Evin Rude, Brennan Neseralla, Scott Hutchison, Alexander Mentis, Suzanne J. Matthews. hotsos 2018: [doi]

Combinatorial security testing courseDimitris E. Simos, Rick Kuhn, Yu Lei, Raghu Kacker. hotsos 2018: [doi]

Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security, HoTSoS 2018, Raleigh, North Carolina, USA, April 10-11, 2018Munindar P. Singh, Laurie Williams, Rick Kuhn, Tao Xie 0001, editors, ACM, 2018. [doi]

Hourglass-shaped architecture for model-based development of safe and secure cyber-physical systems: posterMuhammad Umer Tariq, Marilyn Wolf. hotsos 2018: [doi]

Detecting monitor compromise using evidential reasoning: posterUttam Thakore, Ahmed M. Fawaz, William H. Sanders. hotsos 2018: [doi]

How bad is it, really? an analysis of severity scores for vulnerabilities: posterChristopher Theisen, Laurie Williams. hotsos 2018: [doi]

Understanding challenges to adoption of the Microsoft elevation of privilege gameInger Anne Tøndel, Tosin Daniel Oyetoyan, Martin Gilje Jaatun, Daniela Cruzes. hotsos 2018: [doi]

Quantitative underpinnings of secure, graceful degradation: posterRyan Wagner, David Garlan, Matt Fredrikson. hotsos 2018: [doi]

A ransomware research framework: posterDaniel G. Wolf, Donald L. Goff. hotsos 2018: [doi]

Building a virtually air-gapped secure environment in AWS: with principles of devops security program and secure software deliveryErkang Zheng, Phil Gates-Idem, Matt Lavin. hotsos 2018: [doi]

2017

Proceedings of the Hot Topics in Science of Security: Symposium and Bootcamp, HoTSoS 2017, Hanover, MD, USA, April 4-5, 2017ACM, 2017. [doi]

Optimal Security Investments in a Prevention and Detection GameCarlos Barreto, Alvaro A. Cárdenas, Alain Bensoussan. hotsos 2017: 24-34 [doi]

Characterizing Scientific Reporting in Security Literature: An analysis of ACM CCS and IEEE S&P PapersMorgan Burcham, Mahran Al-Zyoud, Jeffrey C. Carver, Mohammed Noraden Alsaleh, Hongying Du, Fida Gillani, Jun Jiang, Akond Rahman, Özgür Kafali, Ehab Al-Shaer, Laurie A. Williams. hotsos 2017: 13-23 [doi]

Leveraging Unique CPS Properties to Design Better Privacy-Enhancing AlgorithmsJairo Giraldo, Alvaro Cardenas, Murat Kantarcioglu. hotsos 2017: 1-12 [doi]

On the Tradeoff between Privacy and Utility in Collaborative Intrusion Detection Systems-A Game Theoretical ApproachRicheng Jin, Xiaofan He, Huaiyu Dai. hotsos 2017: 45-51 [doi]

Global Variation in Attack Encounters and HostingGhita Mezzour, Kathleen M. Carley, L. Richard Carley. hotsos 2017: 62-73 [doi]

Surveying Security Practice Adherence in Software DevelopmentPatrick Morrison, Benjamin H. Smith, Laurie A. Williams. hotsos 2017: 85-94 [doi]

Learning a Privacy Incidents DatabasePradeep K. Murukannaiah, Chinmaya Dabral, Karthik Sheshadri, Esha Sharma, Jessica Staddon. hotsos 2017: 35-44 [doi]

An Approach to Incorporating Uncertainty in Network Security AnalysisHoang Hai Nguyen, Kartik Palani, David M. Nicol. hotsos 2017: 74-84 [doi]

Use of Phishing Training to Improve Security Warning Compliance: Evidence from a Field ExperimentWeining Yang, Aiping Xiong, Jing Chen, Robert W. Proctor, Ninghui Li. hotsos 2017: 52-61 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

HotSoS (hotsos)

Viewing Publication 1 - 100 from 192

2020

2019

2018

2017

Links

Filter by YearOR AND NOT 1

Filter by Tag

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

HotSoS (hotsos)

Viewing Publication 1 - 100 from 192

2020

2019

2018

2017

Filter by Year
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1