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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
formal approach
biblio
A Formal Approach to Secure Speculation
Submitted by
grigby1
on Fri, 04/03/2020 - 12:55pm
security of data
security
pubcrawl
Resiliency
verification
microarchitecture
Program processors
Transient analysis
Linux
Kernel
formal verification
Metrics
Compositionality
provable security
formal
formal approach
Formal-Verification
hyperproperty
information flow security properties
information-flow
meltdown
microarchitectural side-channels
mitigation
observational-determinism
out-of-order-execution
safety-property
secure speculation property
secure speculative execution
side-channel
SMT
software mitigations
Spectre
speculation
trace property-dependent observational determinism
trace-property
transient execution attacks
transient-execution
uclid5
resilience
biblio
On the Impossibility of Approximation-Resilient Circuit Locking
Submitted by
grigby1
on Thu, 03/12/2020 - 12:02pm
signature based defense
pubcrawl
Adversary Models
algorithmic attacks
approximation-resiliency
approximation-resilient Circuit locking
benchmark circuits
boolean circuits
Boolean functions
cL
Computational modeling
Cryptography
digital signatures
exact-recovery-resiliency
exponentially approximation-resilient
formal approach
formally defined notions
Foundries
IC
Integrated Circuit Camouflaging
Integrated circuit modeling
learning (artificial intelligence)
logic locking
long-standing hardness assumptions
malicious foundry
microscopy
original circuit
relaxed notion
resilience
Resiliency
Scalability
security guarantees
biblio
Method of Textual Information Authorship Analysis Based on Stylometry
Submitted by
grigby1
on Fri, 02/22/2019 - 4:02pm
author publications
computational linguistics
Content analysis
Correlation
Dictionaries
formal approach
glottochronology
Human behavior
Indexes
information retrieval
linguistic analysis
Linguistics
linguometry
Metrics
Monitoring
natural language processing
NLP methods
Porter stemmer
Porter stemming algorithm (Porter stemmer)
pubcrawl
Radio frequency
reference text fragment
statistical linguistic analysis
stop words
stylometry
stylometry technologies usage
text analysis
text content monitoring
textual information authorship analysis
Ukrainian scientific texts
