Modeling agent-based traffic simulation properties in Alloy. - Frederico Araujo; Junia Valente; Rym Zalila-Wenkstern (SpringSim (ADS), 2012)

On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy. - Junia Valente; Frederico Araujo; Rym Zalila-Wenkstern (Int. J. Agent Technol. Syst., 2012)

DIVAs 4.0: a framework for the development of situated multi-agent based simulation systems. - Frederico Araujo; Junia Valente; Mohammad Al-Zinati; Dane Kuiper; Rym Zalila-Wenkstern (AAMAS, 2013)

DIVAs 4.0: A Multi-Agent Based Simulation Framework. - Mohammad Al-Zinati; Frederico Araujo; Dane Kuiper; Junia Valente; Rym Zalila-Wenkstern (DS-RT, 2013)

From Patches to Honey-Patches: Lightweight Attacker Misdirection, Deception, and Disinformation. - Frederico Araujo; Kevin W. Hamlen; Sebastian Biedermann; Stefan Katzenbeisser 001 (CCS, 2014)

Compiler-instrumented, Dynamic Secret-Redaction of Legacy Processes for Attacker Deception. - Frederico Araujo; Kevin W. Hamlen (USENIX Security Symposium, 2015)

Embedded Honeypotting. - Frederico Araujo; Kevin W. Hamlen (Cyber Deception, 2016)

Unsupervised deep embedding for novel class detection over data stream. - Ahmad M. Mustafa 001; Gbadebo Ayoade; Khaled Al-Naami; Latifur Khan; Kevin W. Hamlen; Bhavani Thuraisingham; Frederico Araujo (IEEE BigData, 2017)

POSTER: Hidden in Plain Sight: A Filesystem for Data Integrity and Confidentiality. - Anne Kohlbrenner; Frederico Araujo; Teryl Taylor; Marc Ph. Stoecklin (CCS, 2017)

Threat Intelligence Computing. - Xiaokui Shu; Frederico Araujo; Douglas Lee Schales; Marc Ph. Stoecklin; Jiyong Jang; Heqing Huang 001; Josyula R. Rao (CCS, 2018)

Dressed up: Baiting Attackers through Endpoint Service Projection. - Marc Ph. Stoecklin; Jialong Zhang 001; Frederico Araujo; Teryl Taylor (SDN-NFV@CODASPY, 2018)

Hidden in Plain Sight: Filesystem View Separation for Data Integrity and Deception. - Teryl Taylor; Frederico Araujo; Anne Kohlbrenner; Marc Ph. Stoecklin (DIMVA, 2018)

Cross-Stack Threat Sensing for Cyber Security and Resilience. - Frederico Araujo; Teryl Taylor; Jialong Zhang 001; Marc Ph. Stoecklin (DSN Workshops, 2018)

Improving intrusion detectors by crook-sourcing. - Frederico Araujo; Gbadebo Ayoade; Khaled Al-Naami; Yang Gao 027; Kevin W. Hamlen; Latifur Khan (ACSAC, 2019)

Towards an Open Format for Scalable System Telemetry. - Teryl Taylor; Frederico Araujo; Xiaokui Shu (IEEE BigData, 2020)

Automating Cyberdeception Evaluation with Deep Learning. - Gbadebo Ayoade; Frederico Araujo; Khaled Al-Naami; Ahmad M. Mustafa 001; Yang Gao 027; Kevin W. Hamlen; Latifur Khan (HICSS, 2020)

Improving cybersecurity hygiene through JIT patching. - Frederico Araujo; Teryl Taylor (ESEC/SIGSOFT FSE, 2020)

Software Deception Steering through Version Emulation. - Frederico Araujo; Sailik Sengupta; Jiyong Jang; Adam Doupé; Kevin W. Hamlen; Subbarao Kambhampati (HICSS, 2021)

Evidential Cyber Threat Hunting. - Frederico Araujo; Dhilung Kirat; Xiaokui Shu; Teryl Taylor; Jiyong Jang (CoRR, 2021)

Crook-sourced intrusion detection as a service. - Frederico Araujo; Gbadebo Ayoade; Khaled Al-Naami; Yang Gao 027; Kevin W. Hamlen; Latifur Khan (J. Inf. Secur. Appl., 2021)

Using Deception in Markov Game to Understand Adversarial Behaviors Through a Capture-The-Flag Environment. - Siddhant Bhambri; Purv Chauhan; Frederico Araujo; Adam Doupé; Subbarao Kambhampati (GameSec, 2022)

Fashion Faux Pas: Implicit Stylistic Fingerprints for Bypassing Browsers' Anti-Fingerprinting Defenses. - Xu Lin 003; Frederico Araujo; Teryl Taylor; Jiyong Jang; Jason Polakis (SP, 2023)

Manipulating OpenFlow Link Discovery Packet Forwarding for Topology Poisoning. - Mingming Chen; Thomas La Porta; Teryl Taylor; Frederico Araujo; Trent Jaeger (CCS, 2024)

Automated Synthesis of Effect Graph Policies for Microservice-Aware Stateful System Call Specialization. - William Blair; Frederico Araujo; Teryl Taylor; Jiyong Jang (SP, 2024)