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
Language-theoretic security
biblio
A Security Audit of the OpenPGP Format
Submitted by K_Hooper on Wed, 05/09/2018 - 9:56am
public domain software
OpenPGP
OpenPGP format
OpenPGP format specification
OpenPGP implementations
pattern classification
PGP
Production
Protocols
pubcrawl
open source Unix systems
Public key
Resiliency
Scalability
security audit
Security Audits
security vulnerabilities
Symantec PGP
Unix
email confidentiality
authorisation
computer security
context-free grammars
context-free languages
deterministic context free grammar
deterministic context free language
Electronic mail
email authenticity
authenticated package distributions
Formal Specification
GNU Privacy Guard
GnuPG
Grammar
Human behavior
language theoretical analysis
Language-theoretic security
malicious input data
biblio
Ethos' Deeply Integrated Distributed Types
Submitted by BrandonB on Tue, 05/05/2015 - 8:55am
Robustness
type system
type safety
type constraints
Trusted Computing
Semantics
security-sensitive bugs
security
safety-critical software
Safety
runtime-agnostic Ethos
Runtime
deeply integrated distributed types
Protocols
programming languages
program debugging
operating systems (computers)
operating system approach
operating system
multilingual Ethos
Language-theoretic security
language runtime
Kernel
Ethos operating system
