Jason Hiser

Anh Nguyen-Tuong

CoRR, 2023

Helix++: A platform for efficiently securing software.

[BibT_eX]

[DOI]

Christopher Steven Timperley

Anh Nguyen-Tuong

CoRR, 2023

2022

CELEST: Federated Learning for Globally Coordinated Threat Detection.

[BibT_eX]

[DOI]

CoRR, 2022

Sentinel: A Multi-institution Enterprise Scale Platform for Data-driven Cybersecurity Research.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report).

[BibT_eX]

[DOI]

Kevin Leach

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

2021

Collaborative Information Sharing for ML-Based Threat Detection.

[BibT_eX]

[DOI]

CoRR, 2021

On Generating and Labeling Network Traffic with Realistic, Self-Propagating Malware.

[BibT_eX]

[DOI]

CoRR, 2021

Breaking Through Binaries: Compiler-quality Instrumentation for Better Binary-only Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 30th USENIX Security Symposium, 2021

BigMap: Future-proofing Fuzzers with Efficient Large Maps.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

PORTFILER: Port-Level Network Profiling for Self-Propagating Malware Detection.

[BibT_eX]

[DOI]

Malathi Veeraraghavan

Proceedings of the IEEE Conference on Communications and Network Security, 2021

Same Coverage, Less Bloat: Accelerating Binary-only Fuzzing with Coverage-preserving Coverage-guided Tracing.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2019

Defeating denial-of-service attacks in a self-managing <i>N</i>-variant system.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

2018

Xandra: An Autonomous Cyber Battle System for the Cyber Grand Challenge.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2018

2017

Securing Binary Code.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2017

Zipr: Efficient Static Binary Rewriting for Security.

[BibT_eX]

[DOI]

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

Zipr++: Exceptional Binary Rewriting.

[BibT_eX]

[DOI]

Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, 2017

Mixr: Flexible Runtime Rerandomization for Binaries.

[BibT_eX]

[DOI]

Proceedings of the 2017 Workshop on Moving Target Defense, 2017

Online control adaptation for safe and secure autonomous vehicle operations.

[BibT_eX]

[DOI]

Proceedings of the 2017 NASA/ESA Conference on Adaptive Hardware and Systems, 2017

2016

Diversity in Cybersecurity.

[BibT_eX]

[DOI]

Computer, 2016

A System for the Security Protection of Embedded Binary Programs.

[BibT_eX]

[DOI]

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

Dynamic Canary Randomization for Improved Software Security.

[BibT_eX]

[DOI]

William H. Hawkins

Proceedings of the 11th Annual Cyber and Information Security Research Conference, 2016

Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery.

[BibT_eX]

[DOI]

Proceedings of the 11th Annual Cyber and Information Security Research Conference, 2016

2015

Matryoshka: Strengthening Software Protection via Nested Virtual Machines.

[BibT_eX]

[DOI]

Mandana Bagheri-Marzijarani

Proceedings of the 1st IEEE/ACM International Workshop on Software Protection, 2015

Joza: Hybrid Taint Inference for Defeating Web Application SQL Injection Attacks.

[BibT_eX]

[DOI]

Abbas Naderi-Afooshteh

Anh Nguyen-Tuong

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

2014

What's the PointiSA?

[BibT_eX]

[DOI]

Proceedings of the ACM Information Hiding and Multimedia Security Workshop, 2014

To B or not to B: Blessing OS Commands with Software DNA Shotgun Sequencing.

[BibT_eX]

[DOI]

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

A Framework for Creating Binary Rewriting Tools (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

2013

Moving Target Defenses in the Helix Self-Regenerative Architecture.

[BibT_eX]

[DOI]

Proceedings of the Moving Target Defense II, 2013

Software protection for dynamically-generated code.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2013, 2013

2012

Enabling dynamic binary translation in embedded systems with scratchpad memory.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2012

Replacement attacks against VM-protected applications.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Virtual Execution Environments, 2012

ILR: Where'd My Gadgets Go?

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2012

Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, Third International Conference, 2012

2011

Evaluating indirect branch handling mechanisms in software dynamic translation systems.

[BibT_eX]

[DOI]

ACM Trans. Archit. Code Optim., 2011

PEASOUP: preventing exploits against software of uncertain provenance (position paper).

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Software Engineering for Secure Systems, 2011

Component-Oriented Monitoring of Binaries for Security.

[BibT_eX]

[DOI]

Proceedings of the 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), 2011

2010

A Secure and Robust Approach to Software Tamper Resistance.

[BibT_eX]

[DOI]

Proceedings of the Information Hiding - 12th International Conference, 2010

On the effectiveness of the metamorphic shield.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture, 4th European Conference, 2010

2009

Security through Diversity: Leveraging Virtual Machine Technology.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2009

Addressing the challenges of DBT for the ARM architecture.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

MEDS: The Memory Error Detection System.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems, 2009

Using program metadata to support SDT in object-oriented applications.

[BibT_eX]

[DOI]

Daniel W. Williams

Proceedings of the 4th workshop on the Implementation, 2009

2008

Reducing pressure in bounded DBT code caches.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Conference on Compilers, 2008

2007

Fast, accurate design space exploration of embedded systems memory configurations.

[BibT_eX]

[DOI]

David B. Whalley

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Virtual Execution Environments: Support and Tools.

[BibT_eX]

[DOI]

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Fragment cache management for dynamic binary translators in embedded systems with scratchpad.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Conference on Compilers, 2007

2006

VISTA: VPO interactive system for tuning applications.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2006

Secure and practical defense against code-injection attacks using software dynamic translation.

[BibT_eX]

[DOI]

Jonathan C. Rowanhill

Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006

Evaluating fragment construction policies for SDT systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006

Techniques and tools for dynamic optimization.

[BibT_eX]

[DOI]

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

On the Use of Compilers in DSP Laboratory Instruction.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Acoustics Speech and Signal Processing, 2006

2005

Fast and efficient searches for effective optimization-phase sequences.

[BibT_eX]

[DOI]

ACM Trans. Archit. Code Optim., 2005

2004

Fast searches for effective optimization phase sequences.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

EMBARC: an efficient memory bank assignment algorithm for retargetable compilers.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, 2004

2003

Code Generation for a Dual Instruction Set Processor Based on Selective Code Transformation.

[BibT_eX]

[DOI]

Proceedings of the Software and Compilers for Embedded Systems, 7th International Workshop, 2003

2002

VISTA: a system for interactive code improvement.

[BibT_eX]

[DOI]

Proceedings of the 2002 Joint Conference on Languages, 2002

2000

[BibT_eX]

[DOI]

Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000

Global Register Partitioning.

[BibT_eX]

[DOI]