Search | CSRC

Search Results

Sorted By: Status: Series:

Showing 360 matching records.

Series	Title Publications	Status	Release Date
Conference Paper	Exploring Prompt Patterns for Effective Vulnerability Repair in Real-World Code by Large Language Models Conference Paper (Final) Exploring Prompt Patterns for Effective Vulnerability Repair in Real-World Code by Large Language Models 6/05/2025 Status: Final	Final	6/05/2025
Conference Paper	Data Frequency Coverage Impact on AI Performance Conference Paper (Final) Data Frequency Coverage Impact on AI Performance 4/15/2025 Status: Final	Final	4/15/2025
Conference Paper	Translating Natural Language Specifications into Access Control Policies by Leveraging Large Language Models Conference Paper (Final) Translating Natural Language Specifications into Access Control Policies by Leveraging Large Language Models 1/16/2025 Status: Final	Final	1/16/2025
Conference Paper	On the Semidirect Discrete Logarithm Problem in Finite Groups Conference Paper (Final) On the Semidirect Discrete Logarithm Problem in Finite Groups 12/12/2024 Status: Final	Final	12/12/2024
Conference Paper	PoTeNt: Post-Synthesis Obfuscation for Secure Network-on-Chip Architectures Conference Paper (Final) PoTeNt: Post-Synthesis Obfuscation for Secure Network-on-Chip Architectures 11/05/2024 Status: Final	Final	11/05/2024
Conference Paper	Proxima: A Proxy Model-Based Approach to Influence Analysis Conference Paper (Final) Proxima: A Proxy Model-Based Approach to Influence Analysis 9/25/2024 Status: Final	Final	9/25/2024
Conference Paper	On Combinatorial Security Testing for the Tor Anonymity Network Client Conference Paper (Final) On Combinatorial Security Testing for the Tor Anonymity Network Client 9/17/2024 Status: Final	Final	9/17/2024
Conference Paper	ALERT: A Framework for Efficient Extraction of Attack Techniques from Cyber Threat Intelligence Reports Using Active Learning Conference Paper (Final) ALERT: A Framework for Efficient Extraction of Attack Techniques from Cyber Threat Intelligence Reports Using Active Learning 7/13/2024 Status: Final	Final	7/13/2024
Conference Paper	Terms of Deception: Exposing Obscured Financial Obligations in Online Agreements with Deep Learning Conference Paper (Final) Terms of Deception: Exposing Obscured Financial Obligations in Online Agreements with Deep Learning 5/23/2024 Status: Final	Final	5/23/2024
Conference Paper	Evaluating the Security of CRYSTALS-Dilithium in the Quantum Random Oracle Model Conference Paper (Final) Evaluating the Security of CRYSTALS-Dilithium in the Quantum Random Oracle Model 4/29/2024 Status: Final	Final	4/29/2024
Conference Paper	Provenience-Based Cross-Verification of Digital Forensic Artifacts Applied to NTFS Conference Paper (Final) Provenience-Based Cross-Verification of Digital Forensic Artifacts Applied to NTFS 2/19/2024 Status: Final	Final	2/19/2024
Conference Paper	The Design and Application of a Unified Ontology for Cyber Security Conference Paper (Final) The Design and Application of a Unified Ontology for Cyber Security 12/03/2023 Status: Final	Final	12/03/2023
Conference Paper	Security Analysis of Trust on the Controller in the Matter Protocol Conference Paper (Final) Security Analysis of Trust on the Controller in the Matter Protocol 10/27/2023 Status: Final	Final	10/27/2023
Conference Paper	Youth understandings of online privacy and security: A dyadic study of children and their parents Conference Paper (Final) Youth understandings of online privacy and security: A dyadic study of children and their parents 8/07/2023 Status: Final	Final	8/07/2023
Conference Paper	Peering into the Phish Bowl: An Analysis of Real-World Phishing Cues Conference Paper (Final) Peering into the Phish Bowl: An Analysis of Real-World Phishing Cues 8/07/2023 Status: Final	Final	8/07/2023
Conference Paper	Mind the Gap: Exploring Human-Centered Security Researcher-Practitioner Interactions (Extended Abstract) Conference Paper (Final) Mind the Gap: Exploring Human-Centered Security Researcher-Practitioner Interactions (Extended Abstract) 8/06/2023 Status: Final	Final	8/06/2023
Conference Paper	Cybersecurity Definitions for Non-Experts Conference Paper (Final) Cybersecurity Definitions for Non-Experts 8/06/2023 Status: Final	Final	8/06/2023
Conference Paper	How to Scale a Phish: An Investigation into the Use of the NIST Phish Scale Conference Paper (Final) How to Scale a Phish: An Investigation into the Use of the NIST Phish Scale 8/06/2023 Status: Final	Final	8/06/2023
Conference Paper	Analyzing Cybersecurity Definitions for Non-experts Conference Paper (Final) Analyzing Cybersecurity Definitions for Non-experts 7/26/2023 Status: Final	Final	7/26/2023
Conference Paper	Measuring the Effectiveness of U.S. Government Security Awareness Programs: A Mixed-Methods Study Conference Paper (Final) Measuring the Effectiveness of U.S. Government Security Awareness Programs: A Mixed-Methods Study 7/17/2023 Status: Final	Final	7/17/2023
Conference Paper	SMET: Semantic Mapping of CVE to ATT&CK and its Application to Cyber Security Conference Paper (Final) SMET: Semantic Mapping of CVE to ATT&CK and its Application to Cyber Security 7/12/2023 Status: Final	Final	7/12/2023
Conference Paper	Smart Home Device Loss of Support: Consumer Perspectives and Preferences Conference Paper (Final) Smart Home Device Loss of Support: Consumer Perspectives and Preferences 7/09/2023 Status: Final	Final	7/09/2023
Conference Paper	Parents, passwords, and parenting: How parents think about passwords and are involved in their children's password practices Conference Paper (Final) Parents, passwords, and parenting: How parents think about passwords and are involved in their children's password practices 7/09/2023 Status: Final	Final	7/09/2023
Conference Paper	'They're not risky' vs 'It can ruin your whole life': How youth/parent dyads differ in their understandings of online risk Conference Paper (Final) 'They're not risky' vs 'It can ruin your whole life': How youth/parent dyads differ in their understandings of online risk 7/09/2023 Status: Final	Final	7/09/2023
Conference Paper	Data Guardians: Behaviors and Challenges While Caring for Others' Personal Data Conference Paper (Final) Data Guardians: Behaviors and Challenges While Caring for Others' Personal Data 7/09/2023 Status: Final	Final	7/09/2023
Conference Paper	Predicting ABM Results with Covering Arrays and Random Forests Conference Paper (Final) Predicting ABM Results with Covering Arrays and Random Forests 6/26/2023 Status: Final	Final	6/26/2023
Conference Paper	Ordered t-way Combinations for Testing State-based Systems Conference Paper (Final) Ordered t-way Combinations for Testing State-based Systems 5/29/2023 Status: Final	Final	5/29/2023
Conference Paper	Synthetic Data Generation Using Combinatorial Testing and Variational Autoencoder Conference Paper (Final) Synthetic Data Generation Using Combinatorial Testing and Variational Autoencoder 5/29/2023 Status: Final	Final	5/29/2023
Conference Paper	User Perceptions and Experiences with Smart Home Updates Conference Paper (Final) User Perceptions and Experiences with Smart Home Updates 5/22/2023 Status: Final	Final	5/22/2023
Conference Paper	A Vulnerability in Implementations of SHA-3, SHAKE, EdDSA, and Other NIST-Approved Algorithms Conference Paper (Final) A Vulnerability in Implementations of SHA-3, SHAKE, EdDSA, and Other NIST-Approved Algorithms 4/19/2023 Status: Final	Final	4/19/2023
Conference Paper	An Investigation of Roles, Backgrounds, Knowledge, and Skills of U.S. Government Security Awareness Professionals Conference Paper (Final) An Investigation of Roles, Backgrounds, Knowledge, and Skills of U.S. Government Security Awareness Professionals 1/17/2023 Status: Final	Final	1/17/2023
Conference Paper	Attacks on ML Systems: From Security Analysis to Attack Mitigation Conference Paper (Final) Attacks on ML Systems: From Security Analysis to Attack Mitigation 12/11/2022 Status: Final	Final	12/11/2022
Conference Paper	Efficient Parameter Exploration of Simulation Studies Conference Paper (Final) Efficient Parameter Exploration of Simulation Studies 11/18/2022 Status: Final	Final	11/18/2022
Conference Paper	The Generation of Software Security Scoring Systems Leveraging Human Expert Opinion Conference Paper (Final) The Generation of Software Security Scoring Systems Leveraging Human Expert Opinion 11/18/2022 Status: Final	Final	11/18/2022
Conference Paper	When Frodo Flips: End-to-End Key Recovery on FrodoKEM via Rowhammer Conference Paper (Final) When Frodo Flips: End-to-End Key Recovery on FrodoKEM via Rowhammer 11/07/2022 Status: Final	Final	11/07/2022
Conference Paper	AI Assurance for the Public -- Trust but Verify, Continuously Conference Paper (Final) AI Assurance for the Public -- Trust but Verify, Continuously 10/03/2022 Status: Final	Final	10/03/2022
Conference Paper	A Study of Error Floor Behavior in QC-MDPC Codes Conference Paper (Final) A Study of Error Floor Behavior in QC-MDPC Codes 9/28/2022 Status: Final	Final	9/28/2022
Conference Paper	Breaking Category Five SPHINCS+ with SHA-256 Conference Paper (Final) Breaking Category Five SPHINCS+ with SHA-256 9/28/2022 Status: Final	Final	9/28/2022
Conference Paper	2F - A New Method for Constructing Efficient Multivariate Encryption Schemes Conference Paper (Final) 2F - A New Method for Constructing Efficient Multivariate Encryption Schemes 9/28/2022 Status: Final	Final	9/28/2022
Conference Paper	IPRainbow Conference Paper (Final) IPRainbow 9/28/2022 Status: Final	Final	9/28/2022
Conference Paper	New Bounds on the Multiplicative Complexity of Boolean Functions Conference Paper (Final) New Bounds on the Multiplicative Complexity of Boolean Functions 9/11/2022 Status: Final	Final	9/11/2022
Conference Paper	Improving Support-Minors Rank Attacks: Applications to GeMSS and Rainbow Conference Paper (Final) Improving Support-Minors Rank Attacks: Applications to GeMSS and Rainbow 8/12/2022 Status: Final	Final	8/12/2022
Conference Paper	Measuring the Effectiveness of U.S. Government Security Awareness Programs: A Mixed-Methods Study (Short Paper) Conference Paper (Final) Measuring the Effectiveness of U.S. Government Security Awareness Programs: A Mixed-Methods Study (Short Paper) 8/07/2022 Status: Final	Final	8/07/2022
Conference Paper	Investigating youths' learning of online safety and privacy from others: A discussion of study design and statistical analysis considerations Conference Paper (Final) Investigating youths' learning of online safety and privacy from others: A discussion of study design and statistical analysis considerations 8/07/2022 Status: Final	Final	8/07/2022
Conference Paper	Challenges to building youth's online safety knowledge from a family perspective: Results from a youth/parent dyad study Conference Paper (Final) Challenges to building youth's online safety knowledge from a family perspective: Results from a youth/parent dyad study 8/07/2022 Status: Final	Final	8/07/2022
Conference Paper	Knowledge Mining in Cybersecurity: From Attack to Defense Conference Paper (Final) Knowledge Mining in Cybersecurity: From Attack to Defense 7/13/2022 Status: Final	Final	7/13/2022
Conference Paper	Discovery of digital forensic dataset characteristics with CASE-Corpora Conference Paper (Final) Discovery of digital forensic dataset characteristics with CASE-Corpora 7/11/2022 Status: Final	Final	7/11/2022
Conference Paper	Lessons Learned and Suitability of Focus Groups in Security Information Workers Research Conference Paper (Final) Lessons Learned and Suitability of Focus Groups in Security Information Workers Research 6/16/2022 Status: Final	Final	6/16/2022
Conference Paper	Developing multithreaded techniques and improved constraint handling for the tool CAgen Conference Paper (Final) Developing multithreaded techniques and improved constraint handling for the tool CAgen 6/08/2022 Status: Final	Final	6/08/2022
Conference Paper	A New Conditional Cube Attack on Reduced-Round Ascon-128a in a Nonce-misuse Setting Conference Paper (Final) A New Conditional Cube Attack on Reduced-Round Ascon-128a in a Nonce-misuse Setting 5/09/2022 Status: Final	Final	5/09/2022
Conference Paper	Generating Cyber-Physical System Risk Overlays for Attack and Fault Trees using Systems Theory Conference Paper (Final) Generating Cyber-Physical System Risk Overlays for Attack and Fault Trees using Systems Theory 4/28/2022 Status: Final	Final	4/28/2022
Conference Paper	Combination Frequency Differencing for Identifying Design Weaknesses in Physical Unclonable Functions Conference Paper (Final) Combination Frequency Differencing for Identifying Design Weaknesses in Physical Unclonable Functions 4/04/2022 Status: Final	Final	4/04/2022
Conference Paper	Identifying Tactics of Advanced Persistent Threats with Limited Attack Traces Conference Paper (Final) Identifying Tactics of Advanced Persistent Threats with Limited Attack Traces 12/16/2021 Status: Final	Final	12/16/2021
Conference Paper	Security Auditing of Internet of Things Devices in a Smart Home Conference Paper (Final) Security Auditing of Internet of Things Devices in a Smart Home 10/15/2021 Status: Final	Final	10/15/2021
Conference Paper	Metamorphic Testing for Hybrid Simulation Validation Conference Paper (Final) Metamorphic Testing for Hybrid Simulation Validation 10/05/2021 Status: Final	Final	10/05/2021
Conference Paper	It's the Company, the Government, You and I: User Perceptions of Responsibility for Smart Home Privacy and Security Conference Paper (Final) It's the Company, the Government, You and I: User Perceptions of Responsibility for Smart Home Privacy and Security 8/11/2021 Status: Final	Final	8/11/2021
Conference Paper	Exploring Government Security Awareness Programs: A Mixed-Methods Approach Conference Paper (Final) Exploring Government Security Awareness Programs: A Mixed-Methods Approach 8/03/2021 Status: Final	Final	8/03/2021
Conference Paper	Client-side XSLT, Validation and Data Security Conference Paper (Final) Client-side XSLT, Validation and Data Security 8/02/2021 Status: Final	Final	8/02/2021
Conference Paper	Deep Learning for Detecting Network Attacks: An End to End approach Conference Paper (Final) Deep Learning for Detecting Network Attacks: An End to End approach 7/19/2021 Status: Final	Final	7/19/2021
Conference Paper	Scaling the Phish: Advancing the NIST Phish Scale Conference Paper (Final) Scaling the Phish: Advancing the NIST Phish Scale 7/03/2021 Status: Final	Final	7/03/2021
Conference Paper	A Pseudo Exhaustive Software Testing Framework for Embedded Digital Devices in Nuclear Power Conference Paper (Final) A Pseudo Exhaustive Software Testing Framework for Embedded Digital Devices in Nuclear Power 6/14/2021 Status: Final	Final	6/14/2021
Conference Paper	Metamorphic Testing on the Continuum of Verification and Validation of Simulation Models Conference Paper (Final) Metamorphic Testing on the Continuum of Verification and Validation of Simulation Models 6/02/2021 Status: Final	Final	6/02/2021
Conference Paper	Combinatorially XSSing Web Application Firewalls Conference Paper (Final) Combinatorially XSSing Web Application Firewalls 5/28/2021 Status: Final	Final	5/28/2021
Conference Paper	SoK: How (not) to Design and Implement Post-Quantum Cryptography Conference Paper (Final) SoK: How (not) to Design and Implement Post-Quantum Cryptography 5/17/2021 Status: Final	Final	5/17/2021
Conference Paper	A Historical and Statistical Study of the Software Vulnerability Landscape Conference Paper (Final) A Historical and Statistical Study of the Software Vulnerability Landscape 4/18/2021 Status: Final	Final	4/18/2021
Conference Paper	Combinatorial Testing Metrics for Machine Learning Conference Paper (Final) Combinatorial Testing Metrics for Machine Learning 4/12/2021 Status: Final	Final	4/12/2021
Conference Paper	Apply Quantum Search to the Safety Check for Mono Operational Attribute Based Protection Systems Conference Paper (Final) Apply Quantum Search to the Safety Check for Mono Operational Attribute Based Protection Systems 12/18/2020 Status: Final	Final	12/18/2020
Conference Paper	Improvements of Algebraic Attacks for Solving the Rank Decoding and MinRank Problems Conference Paper (Final) Improvements of Algebraic Attacks for Solving the Rank Decoding and MinRank Problems 12/07/2020 Status: Final	Final	12/07/2020
Conference Paper	Measurements of the Most Significant Software Security Weaknesses Conference Paper (Final) Measurements of the Most Significant Software Security Weaknesses 12/07/2020 Status: Final	Final	12/07/2020
Conference Paper	Combinatorial Methods for Explainable AI Conference Paper (Final) Combinatorial Methods for Explainable AI 10/24/2020 Status: Final	Final	10/24/2020
Conference Paper	Towards Usable Updates for Smart Home Devices Conference Paper (Final) Towards Usable Updates for Smart Home Devices 9/17/2020 Status: Final	Final	9/17/2020
Conference Paper	Cryptanalysis of LEDAcrypt Conference Paper (Final) Cryptanalysis of LEDAcrypt 8/17/2020 Status: Final	Final	8/17/2020
Conference Paper	Aggregating Atomic Clocks for Time-Stamping Conference Paper (Final) Aggregating Atomic Clocks for Time-Stamping 8/03/2020 Status: Final	Final	8/03/2020
Conference Paper	Systems security assurance as (micro) publishing: Declarative markup for systems description and assessment Conference Paper (Final) Systems security assurance as (micro) publishing: Declarative markup for systems description and assessment 7/27/2020 Status: Final	Final	7/27/2020
Conference Paper	Smart Home Security and Privacy Mitigations: Consumer Perceptions, Practices, and Challenges Conference Paper (Final) Smart Home Security and Privacy Mitigations: Consumer Perceptions, Practices, and Challenges 7/19/2020 Status: Final	Final	7/19/2020
Conference Paper	A Suite of Metrics for Calculating the Most Significant Security Relevant Software Flaw Types Conference Paper (Final) A Suite of Metrics for Calculating the Most Significant Security Relevant Software Flaw Types 7/13/2020 Status: Final	Final	7/13/2020
Conference Paper	Evolving Advanced Persistent Threat Detection using Provenance Graph and Metric Learning Conference Paper (Final) Evolving Advanced Persistent Threat Detection using Provenance Graph and Metric Learning 6/29/2020 Status: Final	Final	6/29/2020
Conference Paper	The impossibility of efficient quantum weak coin flipping Conference Paper (Final) The impossibility of efficient quantum weak coin flipping 6/22/2020 Status: Final	Final	6/22/2020
Conference Paper	Defining Actionable Rules for Verifying IoT Security [poster] Conference Paper (Final) Defining Actionable Rules for Verifying IoT Security [poster] 5/18/2020 Status: Final	Final	5/18/2020
Conference Paper	Combinatorial Rank Attacks Against the Rectangular Simple Matrix Encryption Scheme Conference Paper (Final) Combinatorial Rank Attacks Against the Rectangular Simple Matrix Encryption Scheme 4/10/2020 Status: Final	Final	4/10/2020
Conference Paper	Automatic Recognition of Advanced Persistent Threat Tactics for Enterprise Security Conference Paper (Final) Automatic Recognition of Advanced Persistent Threat Tactics for Enterprise Security 3/16/2020 Status: Final	Final	3/16/2020
Conference Paper	TMPS: Ticket-Mediated Password Strengthening Conference Paper (Final) TMPS: Ticket-Mediated Password Strengthening 2/24/2020 Status: Final	Final	2/24/2020
Conference Paper	Method for Effective Measurement, Labeling, and Classification of Botnet C2s for Predicting Attacks [poster] Conference Paper (Final) Method for Effective Measurement, Labeling, and Classification of Botnet C2s for Predicting Attacks [poster] 2/23/2020 Status: Final	Final	2/23/2020
Conference Paper	Forensic Analysis of Advanced Persistent Threat Attacks in Cloud Environments Conference Paper (Final) Forensic Analysis of Advanced Persistent Threat Attacks in Cloud Environments 1/06/2020 Status: Final	Final	1/06/2020
Conference Paper	Augmenting Fiat Currency with an Integrated Managed Cryptocurrency Conference Paper (Final) Augmenting Fiat Currency with an Integrated Managed Cryptocurrency 11/24/2019 Status: Final	Final	11/24/2019
Conference Paper	Implementing a Protocol Native Managed Cryptocurrency Conference Paper (Final) Implementing a Protocol Native Managed Cryptocurrency 11/24/2019 Status: Final	Final	11/24/2019
Conference Paper	Towards an Automated Unified Framework to Run Applications for Combinatorial Interaction Testing Conference Paper (Final) Towards an Automated Unified Framework to Run Applications for Combinatorial Interaction Testing 10/14/2019 Status: Final	Final	10/14/2019
Conference Paper	BowTie – A Deep Learning Feedforward Neural Network for Sentiment Analysis Conference Paper (Final) BowTie – A Deep Learning Feedforward Neural Network for Sentiment Analysis 9/10/2019 Status: Final	Final	9/10/2019
Conference Paper	Knowledge Extraction for Cryptographic Algorithm Validation Test Vectors by Means of Combinatorial Coverage Measurement Conference Paper (Final) Knowledge Extraction for Cryptographic Algorithm Validation Test Vectors by Means of Combinatorial Coverage Measurement 8/26/2019 Status: Final	Final	8/26/2019
Conference Paper	Security Awareness in Action: A Case Study [extended abstract] Conference Paper (Final) Security Awareness in Action: A Case Study [extended abstract] 8/11/2019 Status: Final	Final	8/11/2019
Conference Paper	Perceptions of Smart Home Privacy and Security Responsibility, Concerns, and Mitigations Conference Paper (Final) Perceptions of Smart Home Privacy and Security Responsibility, Concerns, and Mitigations 8/11/2019 Status: Final	Final	8/11/2019
Conference Paper	The Open Security Controls Assessment Language (OSCAL): Schema and Metaschema Conference Paper (Final) The Open Security Controls Assessment Language (OSCAL): Schema and Metaschema 7/30/2019 Status: Final	Final	7/30/2019
Conference Paper	CASFinder: Detecting Common Attack Surface Conference Paper (Final) CASFinder: Detecting Common Attack Surface 7/15/2019 Status: Final	Final	7/15/2019
Conference Paper	Searching for Best Karatsuba Recurrences Conference Paper (Final) Searching for Best Karatsuba Recurrences 6/24/2019 Status: Final	Final	6/24/2019
Conference Paper	Motivating Cybersecurity Advocates: Implications for Recruitment and Retention Conference Paper (Final) Motivating Cybersecurity Advocates: Implications for Recruitment and Retention 6/20/2019 Status: Final	Final	6/20/2019
Conference Paper	Post-quantum Cryptography and 5G Security: Tutorial Conference Paper (Final) Post-quantum Cryptography and 5G Security: Tutorial 5/15/2019 Status: Final	Final	5/15/2019
Conference Paper	Constant-Round Group Key Exchange from the Ring-LWE Assumption Conference Paper (Final) Constant-Round Group Key Exchange from the Ring-LWE Assumption 5/08/2019 Status: Final	Final	5/08/2019
Conference Paper	RTL-PSC: Automated Power Side-Channel Leakage Assessment at Register-Transfer Level Conference Paper (Final) RTL-PSC: Automated Power Side-Channel Leakage Assessment at Register-Transfer Level 4/23/2019 Status: Final	Final	4/23/2019
Conference Paper	Browser Fingerprinting using Combinatorial Sequence Testing Conference Paper (Final) Browser Fingerprinting using Combinatorial Sequence Testing 4/01/2019 Status: Final	Final	4/01/2019
Conference Paper	Smart Contract Federated Identity Management without Third Party Authentication Services Conference Paper (Final) Smart Contract Federated Identity Management without Third Party Authentication Services 3/28/2019 Status: Final	Final	3/28/2019
Conference Paper	Case Study – Exploring Children’s Password Knowledge and Practices Conference Paper (Final) Case Study – Exploring Children’s Password Knowledge and Practices 2/24/2019 Status: Final	Final	2/24/2019
Conference Paper	A Phish Scale: Rating Human Phishing Message Detection Difficulty Conference Paper (Final) A Phish Scale: Rating Human Phishing Message Detection Difficulty 2/24/2019 Status: Final	Final	2/24/2019
Conference Paper	Determining Forensic Data Requirements for Detecting Hypervisor Attacks Conference Paper (Final) Determining Forensic Data Requirements for Detecting Hypervisor Attacks 1/28/2019 Status: Final	Final	1/28/2019
Conference Paper	A Method-Level Test Generation Framework for Debugging Big Data Applications Conference Paper (Final) A Method-Level Test Generation Framework for Debugging Big Data Applications 12/10/2018 Status: Final	Final	12/10/2018
Conference Paper	The New Randomness Beacon Format Standard: An Exercise in Limiting the Power of a Trusted Third Party Conference Paper (Final) The New Randomness Beacon Format Standard: An Exercise in Limiting the Power of a Trusted Third Party 11/26/2018 Status: Final	Final	11/26/2018
Conference Paper	"We make it a big deal in the company": Security Mindsets in Organizations that Develop Cryptographic Products Conference Paper (Final) "We make it a big deal in the company": Security Mindsets in Organizations that Develop Cryptographic Products 8/12/2018 Status: Final	Final	8/12/2018
Conference Paper	Quantifying Information Exposure in Internet Routing Conference Paper (Final) Quantifying Information Exposure in Internet Routing 8/01/2018 Status: Final	Final	8/01/2018
Conference Paper	Managed Blockchain Based Cryptocurrencies with Consensus Enforced Rules and Transparency Conference Paper (Final) Managed Blockchain Based Cryptocurrencies with Consensus Enforced Rules and Transparency 8/01/2018 Status: Final	Final	8/01/2018
Conference Paper	Modeling and Mitigating the Insider Threat of Remote Administrators in Clouds Conference Paper (Final) Modeling and Mitigating the Insider Threat of Remote Administrators in Clouds 7/10/2018 Status: Final	Final	7/10/2018
Conference Paper	Assessing Attack Impact on Business Processes by Interconnecting Attack Graphs and Entity Dependency Graphs Conference Paper (Final) Assessing Attack Impact on Business Processes by Interconnecting Attack Graphs and Entity Dependency Graphs 7/10/2018 Status: Final	Final	7/10/2018
Conference Paper	Pseudo-exhaustive Verification of Rule Based Systems Conference Paper (Final) Pseudo-exhaustive Verification of Rule Based Systems 7/01/2018 Status: Final	Final	7/01/2018
Conference Paper	Parallel Self-Testing of the GHZ State with a Proof by Diagrams Conference Paper (Final) Parallel Self-Testing of the GHZ State with a Proof by Diagrams 6/12/2018 Status: Final	Final	6/12/2018
Conference Paper	What Proportion of Vulnerabilities can be Attributed to Ordinary Coding Errors? [poster] Conference Paper (Final) What Proportion of Vulnerabilities can be Attributed to Ordinary Coding Errors? [poster] 4/10/2018 Status: Final	Final	4/10/2018
Conference Paper	Combinatorial Security Testing Course Conference Paper (Final) Combinatorial Security Testing Course 4/10/2018 Status: Final	Final	4/10/2018
Conference Paper	HFERP - A New Multivariate Encryption Scheme Conference Paper (Final) HFERP - A New Multivariate Encryption Scheme 4/09/2018 Status: Final	Final	4/09/2018
Conference Paper	Improved Cryptanalysis of HFEv- via Projection Conference Paper (Final) Improved Cryptanalysis of HFEv- via Projection 4/08/2018 Status: Final	Final	4/08/2018
Conference Paper	Testing IoT Systems Conference Paper (Final) Testing IoT Systems 3/26/2018 Status: Final	Final	3/26/2018
Conference Paper	A System for Centralized ABAC Policy Administration and Local ABAC Policy Decision and Enforcement in Host Systems using Access Control Lists Conference Paper (Final) A System for Centralized ABAC Policy Administration and Local ABAC Policy Decision and Enforcement in Host Systems using Access Control Lists 3/21/2018 Status: Final	Final	3/21/2018
Conference Paper	User Context: An Explanatory Variable in Phishing Susceptibility Conference Paper (Final) User Context: An Explanatory Variable in Phishing Susceptibility 2/18/2018 Status: Final	Final	2/18/2018
Conference Paper	Thermodynamic Analysis of Classical and Quantum Search Algorithms Conference Paper (Final) Thermodynamic Analysis of Classical and Quantum Search Algorithms 1/19/2018 Status: Final	Final	1/19/2018
Conference Paper	A Layered Graphical Model for Cloud Forensic and Mission Impact Analysis Conference Paper (Final) A Layered Graphical Model for Cloud Forensic and Mission Impact Analysis 1/05/2018 Status: Final	Final	1/05/2018
Conference Paper	The Iterated Random Function Problem Conference Paper (Final) The Iterated Random Function Problem 12/07/2017 Status: Final	Final	12/07/2017
Conference Paper	Key Recovery Attack on the Cubic ABC Simple Matrix Multivariate Encryption Scheme Conference Paper (Final) Key Recovery Attack on the Cubic ABC Simple Matrix Multivariate Encryption Scheme 10/20/2017 Status: Final	Final	10/20/2017
Conference Paper	A Layered Graphical Model for Mission Attack Impact Analysis Conference Paper (Final) A Layered Graphical Model for Mission Attack Impact Analysis 10/11/2017 Status: Final	Final	10/11/2017
Conference Paper	Organizational Practices in Cryptographic Development and Testing Conference Paper (Final) Organizational Practices in Cryptographic Development and Testing 10/09/2017 Status: Final	Final	10/09/2017
Conference Paper	Cryptocurrency Smart Contracts for Distributed Consensus of Public Randomness Conference Paper (Final) Cryptocurrency Smart Contracts for Distributed Consensus of Public Randomness 10/07/2017 Status: Final	Final	10/07/2017
Conference Paper	Evaluating the Effects of Cyber-Attacks on Cyber Physical Systems using a Hardware-in-the-Loop Simulation Testbed Conference Paper (Final) Evaluating the Effects of Cyber-Attacks on Cyber Physical Systems using a Hardware-in-the-Loop Simulation Testbed 9/18/2017 Status: Final	Final	9/18/2017
Conference Paper	Cloud Security Automation Framework Conference Paper (Final) Cloud Security Automation Framework 9/18/2017 Status: Final	Final	9/18/2017
Conference Paper	Identifying Evidence for Cloud Forensic Analysis Conference Paper (Final) Identifying Evidence for Cloud Forensic Analysis 8/31/2017 Status: Final	Final	8/31/2017
Conference Paper	Total Break of the SRP Encryption Scheme Conference Paper (Final) Total Break of the SRP Encryption Scheme 8/18/2017 Status: Final	Final	8/18/2017
Conference Paper	An Analysis of Vulnerability Trends, 2008-2016 Conference Paper (Final) An Analysis of Vulnerability Trends, 2008-2016 7/25/2017 Status: Final	Final	7/25/2017
Conference Paper	Combinatorial and MC/DC Coverage Levels of Random Testing Conference Paper (Final) Combinatorial and MC/DC Coverage Levels of Random Testing 7/25/2017 Status: Final	Final	7/25/2017
Conference Paper	Combinatorial Testing of Full Text Search in Web Applications Conference Paper (Final) Combinatorial Testing of Full Text Search in Web Applications 7/25/2017 Status: Final	Final	7/25/2017
Conference Paper	Improved Attacks for Characteristic-2 Parameters of the Cubic ABC Simple Matrix Encryption Scheme Conference Paper (Final) Improved Attacks for Characteristic-2 Parameters of the Cubic ABC Simple Matrix Encryption Scheme 6/28/2017 Status: Final	Final	6/28/2017
Conference Paper	HMFEv - An Efficient Multivariate Signature Scheme Conference Paper (Final) HMFEv - An Efficient Multivariate Signature Scheme 6/28/2017 Status: Final	Final	6/28/2017
Conference Paper	Securing Networks Against Unpatchable and Unknown Vulnerabilities Using Heterogeneous Hardening Options Conference Paper (Final) Securing Networks Against Unpatchable and Unknown Vulnerabilities Using Heterogeneous Hardening Options 6/22/2017 Status: Final	Final	6/22/2017
Conference Paper	Towards Actionable Mission Impact Assessment in the Context of Cloud Computing Conference Paper (Final) Towards Actionable Mission Impact Assessment in the Context of Cloud Computing 6/22/2017 Status: Final	Final	6/22/2017
Conference Paper	Inferring Previously Uninstalled Applications from Digital Traces Conference Paper (Final) Inferring Previously Uninstalled Applications from Digital Traces 5/26/2017 Status: Final	Final	5/26/2017
Conference Paper	Imposing Fine-grain Next Generation Access Control over Database Queries Conference Paper (Final) Imposing Fine-grain Next Generation Access Control over Database Queries 3/24/2017 Status: Final	Final	3/24/2017
Conference Paper	Verification of Resilience Policies that Assist Attribute Based Access Control Conference Paper (Final) Verification of Resilience Policies that Assist Attribute Based Access Control 3/24/2017 Status: Final	Final	3/24/2017
Conference Paper	Be Prepared: How US Government Experts Think About Cybersecurity Conference Paper (Final) Be Prepared: How US Government Experts Think About Cybersecurity 2/26/2017 Status: Final	Final	2/26/2017
Conference Paper	Towards probabilistic identification of zero-day attack paths Conference Paper (Final) Towards probabilistic identification of zero-day attack paths 2/23/2017 Status: Final	Final	2/23/2017
Conference Paper	Measuring and Improving the Effectiveness of Defense-in-Depth Postures Conference Paper (Final) Measuring and Improving the Effectiveness of Defense-in-Depth Postures 1/26/2017 Status: Final	Final	1/26/2017
Conference Paper	Full Disk Encryption: Bridging Theory and Practice Conference Paper (Final) Full Disk Encryption: Bridging Theory and Practice 1/10/2017 Status: Final	Final	1/10/2017
Conference Paper	Memory and Motor Processes of Password Entry Error Conference Paper (Final) Memory and Motor Processes of Password Entry Error 12/20/2016 Status: Final	Final	12/20/2016
Conference Paper	Secure Multicast Group Management and Key Distribution in IEEE 802.21 Conference Paper (Final) Secure Multicast Group Management and Key Distribution in IEEE 802.21 11/02/2016 Status: Final	Final	11/02/2016
Conference Paper	Restricting Insider Access through Efficient Implementation of Multi-Policy Access Control Systems Conference Paper (Final) Restricting Insider Access through Efficient Implementation of Multi-Policy Access Control Systems 10/28/2016 Status: Final	Final	10/28/2016
Conference Paper	Threat Modeling for Cloud Data Center Infrastructures Conference Paper (Final) Threat Modeling for Cloud Data Center Infrastructures 10/26/2016 Status: Final	Final	10/26/2016
Conference Paper	Micro-Signatures: The Effectiveness of Known Bad N-Grams for Network Anomaly Detection Conference Paper (Final) Micro-Signatures: The Effectiveness of Known Bad N-Grams for Network Anomaly Detection 10/25/2016 Status: Final	Final	10/25/2016
Conference Paper	Limiting The Impact of Stealthy Attacks on Industrial Control Systems Conference Paper (Final) Limiting The Impact of Stealthy Attacks on Industrial Control Systems 10/24/2016 Status: Final	Final	10/24/2016
Conference Paper	A Better-Than-3n Lower Bound for the Circuit Complexity of an Explicit Function Conference Paper (Final) A Better-Than-3n Lower Bound for the Circuit Complexity of an Explicit Function 10/11/2016 Status: Final	Final	10/11/2016
Conference Paper	A Probabilistic Network Forensics Model for Evidence Analysis Conference Paper (Final) A Probabilistic Network Forensics Model for Evidence Analysis 9/20/2016 Status: Final	Final	9/20/2016
Conference Paper	What’s a Special Character Anyway? Effects of Ambiguous Terminology in Password Rules Conference Paper (Final) What’s a Special Character Anyway? Effects of Ambiguous Terminology in Password Rules 9/08/2016 Status: Final	Final	9/08/2016
Conference Paper	Estimating t-Way Fault Profile Evolution During Testing Conference Paper (Final) Estimating t-Way Fault Profile Evolution During Testing 9/07/2016 Status: Final	Final	9/07/2016
Conference Paper	General Methods for Access Control Policy Verification Conference Paper (Final) General Methods for Access Control Policy Verification 7/30/2016 Status: Final	Final	7/30/2016
Conference Paper	Diversifying Network Services under Cost Constraints for Better Resilience against Unknown Attacks Conference Paper (Final) Diversifying Network Services under Cost Constraints for Better Resilience against Unknown Attacks 7/20/2016 Status: Final	Final	7/20/2016
Conference Paper	inf-TESLA: Multicast Delayed Authentication for Streaming Sensor Data in Electric Power Systems Conference Paper (Final) inf-TESLA: Multicast Delayed Authentication for Streaming Sensor Data in Electric Power Systems 5/11/2016 Status: Final	Final	5/11/2016
Conference Paper	Combinatorial Coverage Analysis of Subsets of the TLS Cipher Suite Registry Conference Paper (Final) Combinatorial Coverage Analysis of Subsets of the TLS Cipher Suite Registry 5/10/2016 Status: Final	Final	5/10/2016
Conference Paper	Pseudo-Exhaustive Testing of Attribute Based Access Control Rules Conference Paper (Final) Pseudo-Exhaustive Testing of Attribute Based Access Control Rules 4/11/2016 Status: Final	Final	4/11/2016
Conference Paper	Performance Evaluation of Secure Industrial Control System Design: A Railway Control System Case Study Conference Paper (Final) Performance Evaluation of Secure Industrial Control System Design: A Railway Control System Case Study 4/05/2016 Status: Final	Final	4/05/2016
Conference Paper	Analysis of Virtual Networking Options for Securing Virtual Machines Conference Paper (Final) Analysis of Virtual Networking Options for Securing Virtual Machines 3/20/2016 Status: Final	Final	3/20/2016
Conference Paper	Extensible Access Control Markup Language (XACML) and Next Generation Access Control (NGAC) Conference Paper (Final) Extensible Access Control Markup Language (XACML) and Next Generation Access Control (NGAC) 3/11/2016 Status: Final	Final	3/11/2016
Conference Paper	Vulnerabilities of "McEliece in the World of Escher" Conference Paper (Final) Vulnerabilities of "McEliece in the World of Escher" 3/03/2016 Status: Final	Final	3/03/2016
Conference Paper	On the Differential Security of the HFEv- Signature Primitive Conference Paper (Final) On the Differential Security of the HFEv- Signature Primitive 2/24/2016 Status: Final	Final	2/24/2016
Conference Paper	Security Analysis and Key Modification for ZHFE Conference Paper (Final) Security Analysis and Key Modification for ZHFE 2/24/2016 Status: Final	Final	2/24/2016
Conference Paper	Minimizing Attack Graph Data Structures Conference Paper (Final) Minimizing Attack Graph Data Structures 11/15/2015 Status: Final	Final	11/15/2015
Conference Paper	A Logic Based Network Forensics Model for Evidence Analysis [poster] Conference Paper (Final) A Logic Based Network Forensics Model for Evidence Analysis [poster] 10/15/2015 Status: Final	Final	10/15/2015
Conference Paper	Who Touched My Mission: Towards Probabilistic Mission Impact Assessment Conference Paper (Final) Who Touched My Mission: Towards Probabilistic Mission Impact Assessment 10/12/2015 Status: Final	Final	10/12/2015
Conference Paper	Predictive Models for Min-Entropy Estimation Conference Paper (Final) Predictive Models for Min-Entropy Estimation 9/13/2015 Status: Final	Final	9/13/2015
Conference Paper	Implementing and Managing Policy Rules in Attribute Based Access Control Conference Paper (Final) Implementing and Managing Policy Rules in Attribute Based Access Control 8/13/2015 Status: Final	Final	8/13/2015
Conference Paper	Constructive Relationships Between Algebraic Thickness and Normality Conference Paper (Final) Constructive Relationships Between Algebraic Thickness and Normality 8/04/2015 Status: Final	Final	8/04/2015
Conference Paper	Human Generated Passwords -- The Impacts of Password Requirements and Presentation Styles Conference Paper (Final) Human Generated Passwords -- The Impacts of Password Requirements and Presentation Styles 8/02/2015 Status: Final	Final	8/02/2015
Conference Paper	The Authentication Equation: A Tool to Visualize the Convergence of Security and Usability of Text-Based Passwords Conference Paper (Final) The Authentication Equation: A Tool to Visualize the Convergence of Security and Usability of Text-Based Passwords 8/02/2015 Status: Final	Final	8/02/2015
Conference Paper	Effects of Password Permutation on Subjective Usability Across Platforms Conference Paper (Final) Effects of Password Permutation on Subjective Usability Across Platforms 8/02/2015 Status: Final	Final	8/02/2015
Conference Paper	Password Policy Languages: Usable Translation from the Informal to the Formal Conference Paper (Final) Password Policy Languages: Usable Translation from the Informal to the Formal 8/02/2015 Status: Final	Final	8/02/2015
Conference Paper	What 4,500+ People Can Tell You: Employees' Attitudes Toward Organizational Password Policy Do Matter Conference Paper (Final) What 4,500+ People Can Tell You: Employees' Attitudes Toward Organizational Password Policy Do Matter 8/02/2015 Status: Final	Final	8/02/2015
Conference Paper	Privacy and Security in the Brave New World: The Use of Multiple Mental Models Conference Paper (Final) Privacy and Security in the Brave New World: The Use of Multiple Mental Models 8/02/2015 Status: Final	Final	8/02/2015
Conference Paper	Analysis of Network Segmentation Techniques in Cloud Data Centers Conference Paper (Final) Analysis of Network Segmentation Techniques in Cloud Data Centers 7/30/2015 Status: Final	Final	7/30/2015
Conference Paper	Measuring Systematic and Random Error in Digital Forensics [abstract] Conference Paper (Final) Measuring Systematic and Random Error in Digital Forensics [abstract] 7/24/2015 Status: Final	Final	7/24/2015
Conference Paper	PFLASH - Secure Asymmetric Signatures on Smart Cards Conference Paper (Final) PFLASH - Secure Asymmetric Signatures on Smart Cards 7/20/2015 Status: Final	Final	7/20/2015
Conference Paper	Equivalence Class Verification and Oracle-Free Testing Using Two-layer Covering Arrays Conference Paper (Final) Equivalence Class Verification and Oracle-Free Testing Using Two-layer Covering Arrays 4/17/2015 Status: Final	Final	4/17/2015
Conference Paper	Password Entry Errors: Memory or Motor? Conference Paper (Final) Password Entry Errors: Memory or Motor? 4/09/2015 Status: Final	Final	4/09/2015
Conference Paper	ACT-R Modeling of Password Entry Errors [poster] Conference Paper (Final) ACT-R Modeling of Password Entry Errors [poster] 4/02/2015 Status: Final	Final	4/02/2015
Conference Paper	The Multiplicative Complexity of Boolean Functions on Four and Five Variables Conference Paper (Final) The Multiplicative Complexity of Boolean Functions on Four and Five Variables 3/17/2015 Status: Final	Final	3/17/2015
Conference Paper	The Resilience of the Internet to Colluding Country Induced Connectivity Disruptions Conference Paper (Final) The Resilience of the Internet to Colluding Country Induced Connectivity Disruptions 3/03/2015 Status: Final	Final	3/03/2015
Conference Paper	A Logic Based Network Forensics Model for Evidence Analysis Conference Paper (Final) A Logic Based Network Forensics Model for Evidence Analysis 1/28/2015 Status: Final	Final	1/28/2015
Conference Paper	How Random is Your RNG? Conference Paper (Final) How Random is Your RNG? 1/18/2015 Status: Final	Final	1/18/2015
Conference Paper	Deployment-driven Security Configuration for Virtual Networks Conference Paper (Final) Deployment-driven Security Configuration for Virtual Networks 12/28/2014 Status: Final	Final	12/28/2014
Conference Paper	Electrodermal Activity and Eye Movements Inform the Usability of Passwords [poster] Conference Paper (Final) Electrodermal Activity and Eye Movements Inform the Usability of Passwords [poster] 11/18/2014 Status: Final	Final	11/18/2014
Conference Paper	An Access Control Scheme for Big Data Processing Conference Paper (Final) An Access Control Scheme for Big Data Processing 11/11/2014 Status: Final	Final	11/11/2014
Conference Paper	Lightweight Packing of Log Files for Improved Compression in Mobile Tactical Networks Conference Paper (Final) Lightweight Packing of Log Files for Improved Compression in Mobile Tactical Networks 10/08/2014 Status: Final	Final	10/08/2014
Conference Paper	A Cybersecurity Testbed for Industrial Control Systems Conference Paper (Final) A Cybersecurity Testbed for Industrial Control Systems 10/06/2014 Status: Final	Final	10/06/2014
Conference Paper	Optimizing Information Set Decoding Algorithms to Attack Cyclosymmetric MDPC Codes Conference Paper (Final) Optimizing Information Set Decoding Algorithms to Attack Cyclosymmetric MDPC Codes 10/03/2014 Status: Final	Final	10/03/2014
Conference Paper	An Asymptotically Optimal Structural Attack on the ABC Multivariate Encryption Scheme Conference Paper (Final) An Asymptotically Optimal Structural Attack on the ABC Multivariate Encryption Scheme 10/03/2014 Status: Final	Final	10/03/2014
Conference Paper	Differential Properties of the HFE Cryptosystem Conference Paper (Final) Differential Properties of the HFE Cryptosystem 10/01/2014 Status: Final	Final	10/01/2014
Conference Paper	Inferring the Stealthy Bridges between Enterprise Network Islands in Cloud Using Cross-Layer Bayesian Networks Conference Paper (Final) Inferring the Stealthy Bridges between Enterprise Network Islands in Cloud Using Cross-Layer Bayesian Networks 9/24/2014 Status: Final	Final	9/24/2014
Conference Paper	Modeling Network Diversity for Evaluating the Robustness of Networks against Zero-Day Attacks Conference Paper (Final) Modeling Network Diversity for Evaluating the Robustness of Networks against Zero-Day Attacks 9/11/2014 Status: Final	Final	9/11/2014
Conference Paper	On the Unification of Access Control and Data Services Conference Paper (Final) On the Unification of Access Control and Data Services 8/15/2014 Status: Final	Final	8/15/2014
Conference Paper	Using Network Tainting to Bound the Scope of Network Ingress Attacks Conference Paper (Final) Using Network Tainting to Bound the Scope of Network Ingress Attacks 7/01/2014 Status: Final	Final	7/01/2014
Conference Paper	A Cognitive-Behavioral Framework of User Password Management Lifecycle Conference Paper (Final) A Cognitive-Behavioral Framework of User Password Management Lifecycle 6/22/2014 Status: Final	Final	6/22/2014
Conference Paper	Character Strings, Memory and Passwords: What a Recall Study Can Tell Us Conference Paper (Final) Character Strings, Memory and Passwords: What a Recall Study Can Tell Us 6/22/2014 Status: Final	Final	6/22/2014
Conference Paper	Preserving Privacy – More Than Reading a Message Conference Paper (Final) Preserving Privacy – More Than Reading a Message 6/22/2014 Status: Final	Final	6/22/2014
Conference Paper	Development of a Scale to Assess the Linguistic and Phonological Difficulty of Passwords Conference Paper (Final) Development of a Scale to Assess the Linguistic and Phonological Difficulty of Passwords 6/22/2014 Status: Final	Final	6/22/2014
Conference Paper	I Can't Type That! P@$$w0rd Entry on Mobile Devices Conference Paper (Final) I Can't Type That! P@$$w0rd Entry on Mobile Devices 6/22/2014 Status: Final	Final	6/22/2014
Conference Paper	Analysis of Protection Options for Virtualized Infrastructures in Infrastructure as a Service Cloud Conference Paper (Final) Analysis of Protection Options for Virtualized Infrastructures in Infrastructure as a Service Cloud 5/29/2014 Status: Final	Final	5/29/2014
Conference Paper	A Model Towards Using Evidence from Security Events for Network Attack Analysis Conference Paper (Final) A Model Towards Using Evidence from Security Events for Network Attack Analysis 4/27/2014 Status: Final	Final	4/27/2014
Conference Paper	An Empirical Comparison of Combinatorial and Random Testing Conference Paper (Final) An Empirical Comparison of Combinatorial and Random Testing 4/01/2014 Status: Final	Final	4/01/2014
Conference Paper	Introducing Combinatorial Testing in a Large Organization: Pilot Project Experience Report [poster] Conference Paper (Final) Introducing Combinatorial Testing in a Large Organization: Pilot Project Experience Report [poster] 4/01/2014 Status: Final	Final	4/01/2014
Conference Paper	Estimating Fault Detection Effectiveness [poster] Conference Paper (Final) Estimating Fault Detection Effectiveness [poster] 4/01/2014 Status: Final	Final	4/01/2014
Conference Paper	Real-Time Access Control Rule Fault Detection Using a Simulated Logic Circuit Conference Paper (Final) Real-Time Access Control Rule Fault Detection Using a Simulated Logic Circuit 2/03/2014 Status: Final	Final	2/03/2014
Conference Paper	PDR: A Prevention, Detection and Response Mechanism for Anomalies in Energy Control Systems Conference Paper (Final) PDR: A Prevention, Detection and Response Mechanism for Anomalies in Energy Control Systems 10/30/2013 Status: Final	Final	10/30/2013
Conference Paper	Creating Integrated Evidence Graphs for Network Forensics Conference Paper (Final) Creating Integrated Evidence Graphs for Network Forensics 10/18/2013 Status: Final	Final	10/18/2013
Conference Paper	Limitations to Threshold Random Walk Scan Detection and Mitigating Enhancements Conference Paper (Final) Limitations to Threshold Random Walk Scan Detection and Mitigating Enhancements 10/16/2013 Status: Final	Final	10/16/2013
Conference Paper	CCM: A Tool for Measuring Combinatorial Coverage of System State Space Conference Paper (Final) CCM: A Tool for Measuring Combinatorial Coverage of System State Space 10/10/2013 Status: Final	Final	10/10/2013
Conference Paper	Related-Key Slide Attacks on Block Ciphers with Secret Components Conference Paper (Final) Related-Key Slide Attacks on Block Ciphers with Secret Components 9/18/2013 Status: Final	Final	9/18/2013
Conference Paper	Investigating the Application of Moving Target Defenses to Enterprise Network Security Conference Paper (Final) Investigating the Application of Moving Target Defenses to Enterprise Network Security 8/15/2013 Status: Final	Final	8/15/2013
Conference Paper	An Efficient Approach to Assessing the Risk of Zero Day Vulnerabilities Conference Paper (Final) An Efficient Approach to Assessing the Risk of Zero Day Vulnerabilities 7/31/2013 Status: Final	Final	7/31/2013
Conference Paper	A Chosen IV Related Key Attack on Grain-128a Conference Paper (Final) A Chosen IV Related Key Attack on Grain-128a 7/24/2013 Status: Final	Final	7/24/2013
Conference Paper	Four Measures of Nonlinearity Conference Paper (Final) Four Measures of Nonlinearity 6/23/2013 Status: Final	Final	6/23/2013
Conference Paper	Exposing Software Security and Availability Risks For Commercial Mobile Devices Conference Paper (Final) Exposing Software Security and Availability Risks For Commercial Mobile Devices 6/21/2013 Status: Final	Final	6/21/2013
Conference Paper	A Classification of Differential Invariants for Multivariate Post-quantum Cryptosystems Conference Paper (Final) A Classification of Differential Invariants for Multivariate Post-quantum Cryptosystems 6/21/2013 Status: Final	Final	6/21/2013
Conference Paper	VULCAN: Vulnerability Assessment Framework for Cloud Computing Conference Paper (Final) VULCAN: Vulnerability Assessment Framework for Cloud Computing 6/20/2013 Status: Final	Final	6/20/2013
Conference Paper	Applying Combinatorial Testing to the Siemens Suite Conference Paper (Final) Applying Combinatorial Testing to the Siemens Suite 3/22/2013 Status: Final	Final	3/22/2013
Conference Paper	Combinatorial Coverage Measurement Concepts and Applications Conference Paper (Final) Combinatorial Coverage Measurement Concepts and Applications 3/22/2013 Status: Final	Final	3/22/2013
Conference Paper	An Input Space Modeling Methodology for Combinatorial Testing Conference Paper (Final) An Input Space Modeling Methodology for Combinatorial Testing 3/22/2013 Status: Final	Final	3/22/2013
Conference Paper	Security Assurance Requirements for Hypervisor Deployment Features Conference Paper (Final) Security Assurance Requirements for Hypervisor Deployment Features 2/24/2013 Status: Final	Final	2/24/2013
Conference Paper	Mapping Evidence Graphs to Attack Graphs Conference Paper (Final) Mapping Evidence Graphs to Attack Graphs 1/17/2013 Status: Final	Final	1/17/2013
Conference Paper	Using Attack Graphs in Forensic Examinations Conference Paper (Final) Using Attack Graphs in Forensic Examinations 1/16/2013 Status: Final	Final	1/16/2013
Conference Paper	Security Ontologies for Enterprise Level Risk Assessment Conference Paper (Final) Security Ontologies for Enterprise Level Risk Assessment 12/07/2012 Status: Final	Final	12/07/2012
Conference Paper	Efficient Algorithms for T-way Test Sequence Generation Conference Paper (Final) Efficient Algorithms for T-way Test Sequence Generation 10/16/2012 Status: Final	Final	10/16/2012
Conference Paper	Aggregating CVSS Base Scores for Semantics-Rich Network Security Metrics Conference Paper (Final) Aggregating CVSS Base Scores for Semantics-Rich Network Security Metrics 10/11/2012 Status: Final	Final	10/11/2012
Conference Paper	Measuring Combinatorial Coverage of System State-space for IV&V Conference Paper (Final) Measuring Combinatorial Coverage of System State-space for IV&V 9/13/2012 Status: Final	Final	9/13/2012
Conference Paper	The TriTon Transformation Conference Paper (Final) The TriTon Transformation 8/27/2012 Status: Final	Final	8/27/2012
Conference Paper	Mobile Application and Device Power Usage Measurements Conference Paper (Final) Mobile Application and Device Power Usage Measurements 7/31/2012 Status: Final	Final	7/31/2012
Conference Paper	Evolutionary Construction of de Bruijn Sequences Conference Paper (Final) Evolutionary Construction of de Bruijn Sequences 7/20/2012 Status: Final	Final	7/20/2012
Conference Paper	Simulation-based Approaches to Studying Effectiveness of Moving-Target Network Defense Conference Paper (Final) Simulation-based Approaches to Studying Effectiveness of Moving-Target Network Defense 6/11/2012 Status: Final	Final	6/11/2012
Conference Paper	Combinatorial Methods for Event Sequence Testing Conference Paper (Final) Combinatorial Methods for Event Sequence Testing 4/21/2012 Status: Final	Final	4/21/2012
Conference Paper	Isolating Failure-Inducing Combinations in Combinatorial Testing using Test Augmentation and Classification Conference Paper (Final) Isolating Failure-Inducing Combinations in Combinatorial Testing using Test Augmentation and Classification 4/21/2012 Status: Final	Final	4/21/2012
Conference Paper	Combinatorial Testing of ACTS: a Case Study Conference Paper (Final) Combinatorial Testing of ACTS: a Case Study 4/21/2012 Status: Final	Final	4/21/2012
Conference Paper	Criteria Towards Metrics for Benchmarking Template Protection Algorithms Conference Paper (Final) Criteria Towards Metrics for Benchmarking Template Protection Algorithms 3/30/2012 Status: Final	Final	3/30/2012
Conference Paper	Improved Indifferentiability Security Bound for the JH Mode Conference Paper (Final) Improved Indifferentiability Security Bound for the JH Mode 3/22/2012 Status: Final	Final	3/22/2012
Conference Paper	A Keyed Sponge Construction with Pseudorandomness in a Standard Model Conference Paper (Final) A Keyed Sponge Construction with Pseudorandomness in a Standard Model 3/22/2012 Status: Final	Final	3/22/2012
Conference Paper	Determining Authentication Strength for Smart Card-based Authentication Use Cases Conference Paper (Final) Determining Authentication Strength for Smart Card-based Authentication Use Cases 1/30/2012 Status: Final	Final	1/30/2012
Conference Paper	Vulnerability Hierarchies in Access Control Configurations Conference Paper (Final) Vulnerability Hierarchies in Access Control Configurations 12/27/2011 Status: Final	Final	12/27/2011
Conference Paper	On the Differential Security of Multivariate Public Key Cryptosystems Conference Paper (Final) On the Differential Security of Multivariate Public Key Cryptosystems 11/29/2011 Status: Final	Final	11/29/2011
Conference Paper	Service Model Driven Variations in Security Measures for Cloud Environments Conference Paper (Final) Service Model Driven Variations in Security Measures for Cloud Environments 11/06/2011 Status: Final	Final	11/06/2011
Conference Paper	A Field Study of User Behavior and Perception in Smartcard Authentication Conference Paper (Final) A Field Study of User Behavior and Perception in Smartcard Authentication 9/05/2011 Status: Final	Final	9/05/2011
Conference Paper	An Empirical Study of a Vulnerability Metric Aggregation Method Conference Paper (Final) An Empirical Study of a Vulnerability Metric Aggregation Method 8/18/2011 Status: Final	Final	8/18/2011
Conference Paper	A public randomness service Conference Paper (Final) A public randomness service 7/21/2011 Status: Final	Final	7/21/2011
Conference Paper	Cloud Service Feature Driven Security Policies for Virtualized Infrastructures Conference Paper (Final) Cloud Service Feature Driven Security Policies for Virtualized Infrastructures 7/19/2011 Status: Final	Final	7/19/2011
Conference Paper	On the Security of Hash Functions Employing Blockcipher Postprocessing Conference Paper (Final) On the Security of Hash Functions Employing Blockcipher Postprocessing 7/14/2011 Status: Final	Final	7/14/2011
Conference Paper	Division Polynomials for Jacobi Quartic Curves Conference Paper (Final) Division Polynomials for Jacobi Quartic Curves 6/13/2011 Status: Final	Final	6/13/2011
Conference Paper	Cloud Hooks: Security and Privacy Issues in Cloud Computing Conference Paper (Final) Cloud Hooks: Security and Privacy Issues in Cloud Computing 1/04/2011 Status: Final	Final	1/04/2011
Conference Paper	Speeding Up the Wide-Pipe: Secure and Fast Hashing Conference Paper (Final) Speeding Up the Wide-Pipe: Secure and Fast Hashing 12/12/2010 Status: Final	Final	12/12/2010
Conference Paper	k-Zero Day Safety: Measuring the Security Risk of Networks Against Unknown Attacks Conference Paper (Final) k-Zero Day Safety: Measuring the Security Risk of Networks Against Unknown Attacks 12/10/2010 Status: Final	Final	12/10/2010
Conference Paper	Cryptanalysis of the ESSENCE Family of Hash Functions Conference Paper (Final) Cryptanalysis of the ESSENCE Family of Hash Functions 11/30/2010 Status: Final	Final	11/30/2010
Conference Paper	An Inconvenient Truth About Tunneled Authentications Conference Paper (Final) An Inconvenient Truth About Tunneled Authentications 10/10/2010 Status: Final	Final	10/10/2010
Conference Paper	Specification of Attribute Relations for Access Control Policies and Constraints Using Policy Machine Conference Paper (Final) Specification of Attribute Relations for Access Control Policies and Constraints Using Policy Machine 8/23/2010 Status: Final	Final	8/23/2010
Conference Paper	Practical Near-Collisions for Reduced Round Blake, Fugue, Hamsi and JH Conference Paper (Final) Practical Near-Collisions for Reduced Round Blake, Fugue, Hamsi and JH 8/23/2010 Status: Final	Final	8/23/2010
Conference Paper	Performance Requirements for End-to-End Verifiable Elections Conference Paper (Final) Performance Requirements for End-to-End Verifiable Elections 8/09/2010 Status: Final	Final	8/09/2010
Conference Paper	Message Recovery and Pseudo-Preimage Attacks on the Compression Function of Hamsi-256 Conference Paper (Final) Message Recovery and Pseudo-Preimage Attacks on the Compression Function of Hamsi-256 8/08/2010 Status: Final	Final	8/08/2010
Conference Paper	Sigma Ballots Conference Paper (Final) Sigma Ballots 7/21/2010 Status: Final	Final	7/21/2010
Conference Paper	Authentication Assurance Level Taxonomies for Smart Identity Token Deployments – A New Approach Conference Paper (Final) Authentication Assurance Level Taxonomies for Smart Identity Token Deployments – A New Approach 6/21/2010 Status: Final	Final	6/21/2010
Conference Paper	A New Combinational Logic Minimization Technique with Applications to Cryptology Conference Paper (Final) A New Combinational Logic Minimization Technique with Applications to Cryptology 5/20/2010 Status: Final	Final	5/20/2010
Conference Paper	Privacy-Preserving DRM Conference Paper (Final) Privacy-Preserving DRM 4/13/2010 Status: Final	Final	4/13/2010
Conference Paper	Indifferentiability Characterization of Hash Functions and Optimal Bounds of Popular Domain Extensions Conference Paper (Final) Indifferentiability Characterization of Hash Functions and Optimal Bounds of Popular Domain Extensions 12/04/2009 Status: Final	Final	12/04/2009
Conference Paper	Herding, Second Preimage, and Trojan Message Attacks Beyond Merkle-Damgard Conference Paper (Final) Herding, Second Preimage, and Trojan Message Attacks Beyond Merkle-Damgard 11/03/2009 Status: Final	Final	11/03/2009
Conference Paper	Random vs. Combinatorial Methods for Discrete Event Simulation of a Grid Computer Network Conference Paper (Final) Random vs. Combinatorial Methods for Discrete Event Simulation of a Grid Computer Network 10/16/2009 Status: Final	Final	10/16/2009
Conference Paper	An Analysis of CVSS Version 2 Vulnerability Scoring Conference Paper (Final) An Analysis of CVSS Version 2 Vulnerability Scoring 10/14/2009 Status: Final	Final	10/14/2009
Conference Paper	Desirable Properties of Voting Systems Conference Paper (Final) Desirable Properties of Voting Systems 9/25/2009 Status: Final	Final	9/25/2009
Conference Paper	Fast and Secure CBC-Type MAC Algorithms Conference Paper (Final) Fast and Secure CBC-Type MAC Algorithms 7/21/2009 Status: Final	Final	7/21/2009
Conference Paper	Access Specification and Validation Framework for Secure Smart ID Cards Deployment Conference Paper (Final) Access Specification and Validation Framework for Secure Smart ID Cards Deployment 7/10/2009 Status: Final	Final	7/10/2009
Conference Paper	Characterizing Padding Rules of MD Hash Functions Preserving Collision Security Conference Paper (Final) Characterizing Padding Rules of MD Hash Functions Preserving Collision Security 6/29/2009 Status: Final	Final	6/29/2009
Conference Paper	Quantum Resistant Public Key Cryptography: A Survey Conference Paper (Final) Quantum Resistant Public Key Cryptography: A Survey 4/14/2009 Status: Final	Final	4/14/2009
Conference Paper	A Location-Based Mechanism for Mobile Device Security Conference Paper (Final) A Location-Based Mechanism for Mobile Device Security 3/31/2009 Status: Final	Final	3/31/2009
Conference Paper	Making the Case for EAP Channel Bindings Conference Paper (Final) Making the Case for EAP Channel Bindings 3/30/2009 Status: Final	Final	3/30/2009
Conference Paper	Property Verification for Generic Access Control Models Conference Paper (Final) Property Verification for Generic Access Control Models 12/20/2008 Status: Final	Final	12/20/2008
Conference Paper	Two New Efficient CCA-Secure Online Ciphers : MHCBC and MCBC Conference Paper (Final) Two New Efficient CCA-Secure Online Ciphers : MHCBC and MCBC 12/17/2008 Status: Final	Final	12/17/2008
Conference Paper	Security Challenges in Seamless Mobility: How to "Handover" the Keys? Conference Paper (Final) Security Challenges in Seamless Mobility: How to "Handover" the Keys? 11/30/2008 Status: Final	Final	11/30/2008
Conference Paper	Access Control Policy Composition for Resource Federation Networks Using Semantic Web and Resource Description Framework (RDF) Conference Paper (Final) Access Control Policy Composition for Resource Federation Networks Using Semantic Web and Resource Description Framework (RDF) 11/13/2008 Status: Final	Final	11/13/2008
Conference Paper	Vulnerability Scoring for Security Configuration Settings Conference Paper (Final) Vulnerability Scoring for Security Configuration Settings 10/29/2008 Status: Final	Final	10/29/2008
Conference Paper	On the Shortest Linear Straight-Line Program for Computing Linear Forms Conference Paper (Final) On the Shortest Linear Straight-Line Program for Computing Linear Forms 8/29/2008 Status: Final	Final	8/29/2008
Conference Paper	Evidence-Based, Good Enough, and Open Conference Paper (Final) Evidence-Based, Good Enough, and Open 8/04/2008 Status: Final	Final	8/04/2008
Conference Paper	Forensic Protocol Filtering of Phone Managers Conference Paper (Final) Forensic Protocol Filtering of Phone Managers 7/24/2008 Status: Final	Final	7/24/2008
Conference Paper	Web Services Security: Techniques and Challenges (Extended Abstract) Conference Paper (Final) Web Services Security: Techniques and Challenges (Extended Abstract) 7/21/2008 Status: Final	Final	7/21/2008
Conference Paper	An Attack Graph-Based Probabilistic Security Metric Conference Paper (Final) An Attack Graph-Based Probabilistic Security Metric 7/16/2008 Status: Final	Final	7/16/2008
Conference Paper	A Framework for Measuring the Vulnerability of Hosts Conference Paper (Final) A Framework for Measuring the Vulnerability of Hosts 6/30/2008 Status: Final	Final	6/30/2008
Conference Paper	A Meta Model for Access Control: Why is it needed and Is it even possible to achieve? Conference Paper (Final) A Meta Model for Access Control: Why is it needed and Is it even possible to achieve? 6/11/2008 Status: Final	Final	6/11/2008
Conference Paper	Policy Specification and Enforcement for Smart ID Cards Deployment Conference Paper (Final) Policy Specification and Enforcement for Smart ID Cards Deployment 6/03/2008 Status: Final	Final	6/03/2008
Conference Paper	Infrastructure System Design Methodology for Smart ID Cards Deployment Conference Paper (Final) Infrastructure System Design Methodology for Smart ID Cards Deployment 4/19/2008 Status: Final	Final	4/19/2008
Conference Paper	Linear-XOR and Additive Checksums Don't Protect Damgard-Merkle Hashes from Generic Attacks Conference Paper (Final) Linear-XOR and Additive Checksums Don't Protect Damgard-Merkle Hashes from Generic Attacks 4/17/2008 Status: Final	Final	4/17/2008
Conference Paper	Second Preimage Attacks on Dithered Hash Functions Conference Paper (Final) Second Preimage Attacks on Dithered Hash Functions 4/17/2008 Status: Final	Final	4/17/2008
Conference Paper	Overcoming Impediments to Cell Phone Forensics Conference Paper (Final) Overcoming Impediments to Cell Phone Forensics 1/16/2008 Status: Final	Final	1/16/2008
Conference Paper	IPOG: a General Strategy for T-way Software Testing Conference Paper (Final) IPOG: a General Strategy for T-way Software Testing 3/29/2007 Status: Final	Final	3/29/2007
Conference Paper	Pseudo-exhaustive Testing for Software Conference Paper (Final) Pseudo-exhaustive Testing for Software 4/28/2006 Status: Final	Final	4/28/2006
Conference Paper	Composing and Combining Policies Under the Policy Machine Conference Paper (Final) Composing and Combining Policies Under the Policy Machine 6/01/2005 Status: Final	Final	6/01/2005
Conference Paper	Quantifying Assurance of Knowledge Based Authentication Conference Paper (Final) Quantifying Assurance of Knowledge Based Authentication 6/28/2004 Status: Final	Final	6/28/2004
Conference Paper	Specification and Validation of Enterprise Access Control Data for Conformance to Model and Policy Constraints Conference Paper (Final) Specification and Validation of Enterprise Access Control Data for Conformance to Model and Policy Constraints 7/30/2003 Status: Final	Final	7/30/2003
Conference Paper	The Role Control Center: Features and Case Studies Conference Paper (Final) The Role Control Center: Features and Case Studies 6/04/2003 Status: Final	Final	6/04/2003
Conference Paper	An Investigation of the Applicability of Design of Experiments to Software Testing Conference Paper (Final) An Investigation of the Applicability of Design of Experiments to Software Testing 12/06/2002 Status: Final	Final	12/06/2002
Conference Paper	Proceedings of the 23rd National Information Systems Security Conference Conference Paper (Final) Proceedings of the 23rd National Information Systems Security Conference 10/19/2000 Status: Final	Final	10/19/2000
Conference Paper	Business Process Driven Framework for Defining an Access Control Service Based on Roles and Rules Conference Paper (Final) Business Process Driven Framework for Defining an Access Control Service Based on Roles and Rules 10/19/2000 Status: Final	Final	10/19/2000
Conference Paper	Application of XML Tools for Enterprise-Wide RBAC Implementation Tasks Conference Paper (Final) Application of XML Tools for Enterprise-Wide RBAC Implementation Tasks 7/27/2000 Status: Final	Final	7/27/2000
Conference Paper	The NIST Model for Role-Based Access Control: Towards a Unified Standard Conference Paper (Final) The NIST Model for Role-Based Access Control: Towards a Unified Standard 7/26/2000 Status: Final	Final	7/26/2000
Conference Paper	A Resource Access Decision Service for CORBA-based Distributed Systems Conference Paper (Final) A Resource Access Decision Service for CORBA-based Distributed Systems 12/10/1999 Status: Final	Final	12/10/1999
Conference Paper	Supporting Relationships in Access Control Using Role Based Access Control Conference Paper (Final) Supporting Relationships in Access Control Using Role Based Access Control 10/29/1999 Status: Final	Final	10/29/1999
Conference Paper	Proceedings of the 22nd National Information Systems Security Conference Conference Paper (Final) Proceedings of the 22nd National Information Systems Security Conference 10/21/1999 Status: Final	Final	10/21/1999
Conference Paper	Role-Based Access Control for the Web Conference Paper (Final) Role-Based Access Control for the Web 10/29/1998 Status: Final	Final	10/29/1998
Conference Paper	Role Based Access Control on MLS Systems Without Kernel Changes Conference Paper (Final) Role Based Access Control on MLS Systems Without Kernel Changes 10/23/1998 Status: Final	Final	10/23/1998
Conference Paper	Managing Role/Permission Relationships Using Object Access Types Conference Paper (Final) Managing Role/Permission Relationships Using Object Access Types 10/23/1998 Status: Final	Final	10/23/1998
Conference Paper	Role-Based Access Control Features in Commercial Database Management Systems Conference Paper (Final) Role-Based Access Control Features in Commercial Database Management Systems 10/09/1998 Status: Final	Final	10/09/1998
Conference Paper	Proceedings of the 21st National Information Systems Security Conference Conference Paper (Final) Proceedings of the 21st National Information Systems Security Conference 10/08/1998 Status: Final	Final	10/08/1998
Conference Paper	Inheritance Properties of Role Hierarchies Conference Paper (Final) Inheritance Properties of Role Hierarchies 10/06/1998 Status: Final	Final	10/06/1998
Conference Paper	Formal Specification for Role Based Access Control User/Role and Role/Role Relationship Management Conference Paper (Final) Formal Specification for Role Based Access Control User/Role and Role/Role Relationship Management 10/01/1998 Status: Final	Final	10/01/1998
Conference Paper	Specifying and Managing Role-Based Access Control Within a Corporate Intranet Conference Paper (Final) Specifying and Managing Role-Based Access Control Within a Corporate Intranet 11/07/1997 Status: Final	Final	11/07/1997
Conference Paper	Comparing Simple Role Based Access Control Models and Access Control Lists Conference Paper (Final) Comparing Simple Role Based Access Control Models and Access Control Lists 11/07/1997 Status: Final	Final	11/07/1997
Conference Paper	Mutual Exclusion of Roles as a Means of Implementing Separation of Duty in Role-Based Access Control Systems Conference Paper (Final) Mutual Exclusion of Roles as a Means of Implementing Separation of Duty in Role-Based Access Control Systems 11/07/1997 Status: Final	Final	11/07/1997
Conference Paper	Proceedings of the 20th National Information Systems Security Conference Conference Paper (Final) Proceedings of the 20th National Information Systems Security Conference 10/10/1997 Status: Final	Final	10/10/1997
Conference Paper	Role Based Access Control for the World Wide Web Conference Paper (Final) Role Based Access Control for the World Wide Web 10/10/1997 Status: Final	Final	10/10/1997
Conference Paper	U.S. Government Activities to Protect the Information Infrastructure Conference Paper (Final) U.S. Government Activities to Protect the Information Infrastructure 4/01/1997 Status: Final	Final	4/01/1997
Conference Paper	Proceedings of the 19th National Information Systems Security Conference Conference Paper (Final) Proceedings of the 19th National Information Systems Security Conference 10/22/1996 Status: Final	Final	10/22/1996
Conference Paper	Developing Federal Standards and Accreditations for Data Protection Products Conference Paper (Final) Developing Federal Standards and Accreditations for Data Protection Products 3/21/1996 Status: Final	Final	3/21/1996
Conference Paper	Role-Based Access Control (RBAC): Features and Motivations Conference Paper (Final) Role-Based Access Control (RBAC): Features and Motivations 12/15/1995 Status: Final	Final	12/15/1995
Conference Paper	Implementing Role-Based Access Control Using Object Technology Conference Paper (Final) Implementing Role-Based Access Control Using Object Technology 12/01/1995 Status: Final	Final	12/01/1995
Conference Paper	Proceedings of the 18th National Information Systems Security Conference Conference Paper (Final) Proceedings of the 18th National Information Systems Security Conference 10/10/1995 Status: Final	Final	10/10/1995
Conference Paper	Functional Security Criteria for Distributed Systems Conference Paper (Final) Functional Security Criteria for Distributed Systems 10/10/1995 Status: Final	Final	10/10/1995
Conference Paper	Proceedings of the 17th National Computer Security Conference Conference Paper (Final) Proceedings of the 17th National Computer Security Conference 10/11/1994 Status: Final	Final	10/11/1994
Conference Paper	A Second Look at the SDNS Key Management Protocol Conference Paper (Final) A Second Look at the SDNS Key Management Protocol 12/06/1993 Status: Final	Final	12/06/1993
Conference Paper	Approximating Clark-Wilson, Access Triples with Basic UNIX Controls Conference Paper (Final) Approximating Clark-Wilson, Access Triples with Basic UNIX Controls 10/04/1993 Status: Final	Final	10/04/1993
Conference Paper	An Integrity Model is Needed for Computerized Voting and Similar Systems Conference Paper (Final) An Integrity Model is Needed for Computerized Voting and Similar Systems 9/20/1993 Status: Final	Final	9/20/1993
Conference Paper	An Examination of Federal and Commercial Access Control Policy Needs Conference Paper (Final) An Examination of Federal and Commercial Access Control Policy Needs 9/20/1993 Status: Final	Final	9/20/1993
Conference Paper	Proceedings of the 16th National Computer Security Conference Conference Paper (Final) Proceedings of the 16th National Computer Security Conference 9/20/1993 Status: Final	Final	9/20/1993
Conference Paper	Choosing Among Standards for Lower Layer Security Protocols Conference Paper (Final) Choosing Among Standards for Lower Layer Security Protocols 9/20/1993 Status: Final	Final	9/20/1993
Conference Paper	An Overview of the Advanced Smartcard Access Control System (ASACS) Conference Paper (Final) An Overview of the Advanced Smartcard Access Control System (ASACS) 2/11/1993 Status: Final	Final	2/11/1993
Conference Paper	Response to Comments on the NIST Proposed Digital Signature Standard Conference Paper (Final) Response to Comments on the NIST Proposed Digital Signature Standard 1/01/1993 Status: Final	Final	1/01/1993
Conference Paper	Precise Identification of Computer Viruses Conference Paper (Final) Precise Identification of Computer Viruses 10/13/1992 Status: Final	Final	10/13/1992
Conference Paper	Proceedings of the 15th National Computer Security Conference Conference Paper (Final) Proceedings of the 15th National Computer Security Conference 10/13/1992 Status: Final	Final	10/13/1992
Conference Paper	Role-Based Access Controls Conference Paper (Final) Role-Based Access Controls 10/13/1992 Status: Final	Final	10/13/1992
Conference Paper	An Analysis of Selected Software Safety Standards Conference Paper (Final) An Analysis of Selected Software Safety Standards 6/15/1992 Status: Final	Final	6/15/1992
Conference Paper	High Integrity Software Standards Activities at NIST Conference Paper (Final) High Integrity Software Standards Activities at NIST 10/07/1991 Status: Final	Final	10/07/1991
Conference Paper	Proceedings of the 14th National Computer Security Conference Conference Paper (Final) Proceedings of the 14th National Computer Security Conference 10/01/1991 Status: Final	Final	10/01/1991
Conference Paper	Proceedings of the 13th National Computer Security Conference Conference Paper (Final) Proceedings of the 13th National Computer Security Conference 10/01/1990 Status: Final	Final	10/01/1990
Conference Paper	Latest Research on Minimizing Security Risks for PCs and LANS Conference Paper (Final) Latest Research on Minimizing Security Risks for PCs and LANS 10/01/1990 Status: Final	Final	10/01/1990
Conference Paper	On the Effective Use of Software Standards in Systems Integration Conference Paper (Final) On the Effective Use of Software Standards in Systems Integration 4/23/1990 Status: Final	Final	4/23/1990
Conference Paper	Proceedings of the 12th National Computer Security Conference Conference Paper (Final) Proceedings of the 12th National Computer Security Conference 10/10/1989 Status: Final	Final	10/10/1989
Conference Paper	A Token Based Access Control System for Computer Networks Conference Paper (Final) A Token Based Access Control System for Computer Networks 10/10/1989 Status: Final	Final	10/10/1989
Conference Paper	Expert assistance for manipulating of SGML document type definitions Conference Paper (Final) Expert assistance for manipulating of SGML document type definitions 12/05/1988 Status: Final	Final	12/05/1988
Conference Paper	Proceedings of the 11th National Computer Security Conference Conference Paper (Final) Proceedings of the 11th National Computer Security Conference 10/17/1988 Status: Final	Final	10/17/1988
Conference Paper	Static Analysis Tools for Software Security Certification Conference Paper (Final) Static Analysis Tools for Software Security Certification 10/17/1988 Status: Final	Final	10/17/1988
Conference Paper	Proceedings of the 10th National Computer Security Conference Conference Paper (Final) Proceedings of the 10th National Computer Security Conference 9/21/1987 Status: Final	Final	9/21/1987
Conference Paper	Proceedings of the 9th National Computer Security Conference Conference Paper (Final) Proceedings of the 9th National Computer Security Conference 9/15/1986 Status: Final	Final	9/15/1986
Conference Paper	Proceedings of the 8th National Computer Security Conference Conference Paper (Final) Proceedings of the 8th National Computer Security Conference 9/30/1985 Status: Final	Final	9/30/1985
Conference Paper	7th DoD/NBS Computer Security Conference Conference Paper (Final) 7th DoD/NBS Computer Security Conference 9/24/1984 Status: Final	Final	9/24/1984
Conference Paper	Proceedings of the Sixth Seminar on the DoD Computer Security Initiative Conference Paper (Final) Proceedings of the Sixth Seminar on the DoD Computer Security Initiative 11/15/1983 Status: Final	Final	11/15/1983
Conference Paper	Proceedings of the Fifth Seminar on the DoD Computer Security Initiative Conference Paper (Final) Proceedings of the Fifth Seminar on the DoD Computer Security Initiative 5/24/1982 Status: Final	Final	5/24/1982
Conference Paper	Proceedings of the Fourth Seminar on the DoD Computer Security Initiative Conference Paper (Final) Proceedings of the Fourth Seminar on the DoD Computer Security Initiative 8/10/1981 Status: Final	Final	8/10/1981
Conference Paper	Proceedings of the Third Seminar on the DoD Computer Security Initiative Program Conference Paper (Final) Proceedings of the Third Seminar on the DoD Computer Security Initiative Program 11/18/1980 Status: Final	Final	11/18/1980
Conference Paper	Proceedings of the Second Seminar on the DoD Computer Security Initiative Program Conference Paper (Final) Proceedings of the Second Seminar on the DoD Computer Security Initiative Program 1/15/1980 Status: Final	Final	1/15/1980
Conference Paper	Proceedings of the Seminar on the DoD Computer Security Initiative Program Conference Paper (Final) Proceedings of the Seminar on the DoD Computer Security Initiative Program 7/17/1979 Status: Final	Final	7/17/1979
Conference Paper	Encryption Protection in Computer Data Communications Conference Paper (Final) Encryption Protection in Computer Data Communications 10/07/1975 Status: Final	Final	10/07/1975

View All Publications

Current Publications

NIST Series Pubs
- Final Pubs
- Drafts Open for Comment
- Drafts (all)
- View By Series
  - FIPS (standards)
  - SP 800 (guidance)
  - SP 1800 (practice guides)
  - SP (all subseries)
  - IR (interagency/internal reports)
  - CSWP (cybersecurity white papers)
  - ITL Bulletins
Other Pubs