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
object oriented security
biblio
Granullar: Gradual Nullable Types for Java
Submitted by grigby1 on Thu, 06/07/2018 - 2:01pm
composability
gradual type systems
Metrics
nullness
object oriented security
pluggable type systems
pubcrawl
resilience
Resiliency
runtime checks
biblio
Mining Relationship-Based Access Control Policies
Submitted by grigby1 on Thu, 06/07/2018 - 2:01pm
attribute-based access control
composability
Metrics
object oriented security
policy mining
pubcrawl
relationship-based access control
resilience
Resiliency
biblio
Reverse Engineering a Code Without the Code: Reverse Engineering of a Java Card Dump
Submitted by grigby1 on Thu, 06/07/2018 - 2:01pm
composability
Data reverse engineering
Metrics
object oriented security
pubcrawl
resilience
Resiliency
software attack
software visualization
vulnerability discovery
biblio
Dynamic Software Updating in Java: Comparing Concepts and Resource Demands
Submitted by grigby1 on Thu, 06/07/2018 - 2:01pm
benchmark
composability
dynamic software updating
Java
Metrics
object oriented security
Performance
pubcrawl
resilience
Resiliency
biblio
On The (In-)Security Of JavaScript Object Signing And Encryption
Submitted by grigby1 on Thu, 06/07/2018 - 2:00pm
Bleichenbacher Attack
Burp Suite
composability
JOSE
JSON Web Encryption
JSON Web Signature
Key Confusion
Metrics
object oriented security
pubcrawl
resilience
Resiliency
biblio
Object Flow Integrity
Submitted by grigby1 on Thu, 06/07/2018 - 2:00pm
security
pubcrawl
Resiliency
composability
resilience
Metrics
object-oriented programming
binary transformation
control-flow integrity
object oriented security
biblio
Dynamic Symbolic Execution for Polymorphism
Submitted by grigby1 on Thu, 06/07/2018 - 2:00pm
pubcrawl
Resiliency
composability
resilience
Metrics
concolic testing
object-oriented programs
object oriented security
biblio
Abstract Runtime Structure for Reasoning About Security: Poster
Submitted by grigby1 on Tue, 05/30/2017 - 11:50am
composability
graph query
Metrics
object graphs
object oriented security
ownership type inference
pubcrawl
Resiliency
biblio
Automatic Enforcement of Expressive Security Policies Using Enclaves
Submitted by grigby1 on Tue, 05/30/2017 - 11:49am
composability
declassification
Enclave Programs
information erasure
information-flow control
language-based security
Metrics
object oriented security
pubcrawl
Resiliency
security-type system
biblio
LaCasa: Lightweight Affinity and Object Capabilities in Scala
Submitted by grigby1 on Tue, 05/30/2017 - 11:49am
aliasing
composability
Metrics
object capabilities
object oriented security
pubcrawl
Resiliency
Scalability
uniqueness
« first
‹ previous
1
2
3
4
5
6
next ›
last »
