Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
DNSsec
biblio
On the Soundness of Infrastructure Adversaries
Submitted by grigby1 on Thu, 02/24/2022 - 11:31am
policy-based collaboration
tools
Security Risk Estimation
security economics
Safety
risk management
pubcrawl
Protocols
protocol verification
privacy
Internet-scale Computing Security
Planning
internet
DNSsec
DNS
Computational modeling
Compositionality
composability
collaboration
Analytical models
biblio
Enumerating Active IPv6 Hosts for Large-Scale Security Scans via DNSSEC-Signed Reverse Zones
Submitted by grigby1 on Wed, 10/30/2019 - 9:52am
Licenses
ZMap
unintended IPv6 connectivity
sensitive data exposure
Security by Default
security
Scalability
RNA
Revere DNS (rDNS)
Resiliency
resilience
pubcrawl
privacy
principal component analysis
network scanning
Network reconnaissance
computer network security
large-scale security scans
IPv6 hosts
IPv6 address space
IPv6
IPv4 hosts
IP networks
internet-wide scans
Internet-connected devices
Internet of Things devices
Internet of Things
internet
integrated circuits
DNSSEC-signed IPv6 reverse zones
DNSsec
DNS
biblio
The Root Canary: Monitoring and Measuring the DNSSEC Root Key Rollover
Submitted by grigby1 on Mon, 06/11/2018 - 2:37pm
active measurements
DNS
DNSsec
Human behavior
Internet stability
Named Data Network Security
pubcrawl
resilience
Resiliency
Scalability
biblio
The Internet Blockchain: A Distributed, Tamper-Resistant Transaction Framework for the Internet
Submitted by grigby1 on Tue, 09/05/2017 - 12:20pm
advanced persistent threat
advanced persistent threats
BGPSec
blockchain
blockchain security
collaboration
composability
DNSsec
Human behavior
Metrics
PKI Trust Models
pubcrawl
Resiliency
Scalability
security
biblio
Verification of DNSsec Delegation Signatures
Submitted by BrandonB on Wed, 05/06/2015 - 1:43pm
interactive theorem prover
Theorem Proving
Servers
security protocol verification
Public key
Protocols
model checking analysis
Isabelle/HOL
Isabelle-HOL
IP networks
internet
authentication
inference mechanisms
inductive approach
formal verification
DNSsec protocol
DNSsec delegation signatures
DNSsec
delegation signatures
Cryptographic Protocols
chain of trust
