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
compilers
biblio
SoK: Fully Homomorphic Encryption Compilers
Submitted by grigby1 on Fri, 08/12/2022 - 1:10pm
tools
encryption
pubcrawl
Resiliency
privacy
composability
Metrics
resilience
Data Breach
Surges
SoK
usability
compiler security
compilers
FHE
Fully-Homomorphic-Encryption
biblio
ComPy-Learn: A toolbox for exploring machine learning representations for compilers
Submitted by aekwall on Mon, 03/15/2021 - 11:07am
compilers
program compilers
Clang
LLVM
compiler security
empirical evaluation
Clang compiler
Code Representations
compiler heuristics
Compositionality
ComPy-Learn
developer productivity
graph representations
LLVM compiler backend
program code
software engineering tools
software performance
syntax-level language information
tools
Task Analysis
Program processors
learning (artificial intelligence)
Resiliency
pubcrawl
machine learning
Metrics
optimization
Scalability
Training
software engineering
public domain software
Vulnerability prediction
program diagnostics
Predictive models
Pipelines
biblio
Automatically Validating the Effectiveness of Software Diversity Schemes
Submitted by aekwall on Mon, 12/02/2019 - 11:07am
program compilers
compiler security
software protection
software diversity schemes
software diversity
scant attention
exploit mitigation
diversity techniques
diversity strategies
diversifying compiler
DARPA Cyber Grand Challenge environment
comparative evaluation
compilers
security of data
Compositionality
Semantics
evaluation
Measurement
computer security
Cybersecurity
vulnerabilities
Metrics
pubcrawl
Resiliency
Program processors
Scalability
biblio
What You Get is What You C: Controlling Side Effects in Mainstream C Compilers
Submitted by aekwall on Mon, 12/02/2019 - 11:07am
language security
compiler performance
compiler upgrade
compiler writers
compilers
constant-time
CPUs
crypto code
cryptographic algorithm
cryptographic protocol security
erasing
implicit properties
compiler optimizations
LLVM
mainstream C compilers
secure code
Security Engineers
side channels
side effects
stack
timing channel
zeroing
compiler security
timing
Cryptography
Cryptographic Protocols
Program processors
Resiliency
pubcrawl
Metrics
standards
optimization
Libraries
optimisation
program verification
Scalability
Security Properties
Compositionality
program compilers
C
C abstract machine
C++ language
careful programmer
Clang
compiler commands
Compiler Optimization
biblio
Zwift: A Programming Framework for High Performance Text Analytics on Compressed Data
Submitted by grigby1 on Thu, 02/14/2019 - 10:15am
pubcrawl
Metrics
Scalability
composability
Human Factors
compilers
Domain Specific Languages
text analytics
biblio
Generating Chat Bots from Web API Specifications
Submitted by grigby1 on Wed, 11/28/2018 - 1:01pm
cloud
compilers
conversational agents
Human behavior
Metrics
pubcrawl
rest
Scalability
biblio
Compiler-Assisted Test Acceleration on GPUs for Embedded Software
Submitted by grigby1 on Wed, 05/09/2018 - 1:57pm
Automated Testing
collaboration
compilers
embedded software
Functional testing
GPUs
Human Factors
Metrics
policy-based governance
Policy-Governed Secure Collaboration
pubcrawl
resilience
Resiliency
Safe Coding
biblio
Investigating the Effects Various Compilers Have on the Electromagnetic Signature of a Cryptographic Executable
Submitted by grigby1 on Wed, 01/10/2018 - 11:18am
C/C++
compiler security
compilers
composability
CPA
electromagnetic
pubcrawl
Raspberry Pi
Resiliency
Tamper resistance
biblio
The ASPIRE Framework for Software Protection
Submitted by K_Hooper on Wed, 11/01/2017 - 10:07am
software protection tool chain
software metrics
Scalability
resilience
pubcrawl
man-at-the-end attacks
Decision support systems
compilers
Chained Attacks
Attack Modeling
annotations
file
Programming Uncertain <T>hings
Submitted by akarns on Tue, 01/26/2016 - 2:52pm. Contributor:
Kathryn McKinley
Presented as part of the
2016 HCSS conference
.
Bayesian inference
compilers
Estimates
inference
programming with estimates
runtimes
High Confidence Software and Systems Conference 2016
Presentation
HCSS 2016
1
2
next ›
last »
