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
Libraries
biblio
FIoT: Detecting the Memory Corruption in Lightweight IoT Device Firmware
Submitted by
aekwall
on Mon, 01/20/2020 - 11:13am
computer network security
Scalability
Internet of Things
security
performance evaluation
system monitoring
Resiliency
pubcrawl
policy-based governance
program testing
Libraries
static analysis
firmware
program diagnostics
Human Factors
operating systems (computers)
program compilers
Loading
lightweight IoT devices
address determination analysis
backward slice approach
binary code snippets
Binary codes
binary firmware
CFG recovery approach
dynamic analysis framework
dynamic analysis techniques
embedded firmware source code
FIoT framework
firmware analysis
firmware images
fuzzing
fuzzing test
hardware architectures
IoT device operating systems
IoT industry
library function identification approach
lightweight IoT device firmware images
lightweight IoT firmware
memory corruption
memory corruption vulnerabilities
Microprogramming
Program slicing
security researchers
time 170.0 s
time 210.0 s
time 40.0 s
zero trust
biblio
Information Flow Control for Distributed Trusted Execution Environments
Submitted by
aekwall
on Mon, 01/20/2020 - 10:45am
-distributed-systems
-enclaves
-language-based-security
-security
-trusted-execution-environment
Calculus
Compositionality
confidential messages
core security calculus
cryptographic mechanisms
Cryptography
data integrity
DFLATE
distributed programming
distributed trusted execution environments
encryption
encryption audits
Fabrics
high-integrity messages
high-level abstractions
Information Flow Control
information-flow-control
Libraries
messages authentication
Predictive Metrics
Protocols
pubcrawl
Resiliency
TEE
Trusted Computing
untrusted host
biblio
Arithmetic Circuit Homomorphic Encryption and Multiprocessing Enhancements
Submitted by
aekwall
on Mon, 12/30/2019 - 11:36am
Cloud Computing
Scalability
Cryptography
encryption
Resiliency
pubcrawl
Metrics
Libraries
Logic gates
cloud services
Human Factors
Registers
multiprocessing systems
Homomorphic encryption
Informatics
adders
arithmetic
Arithmetic Algorithm
arithmetic circuit homomorphic encryption
arithmetic operations
Boolean Circuit
latency reduction
MPI
multiplication operation
multiprocessing enhancements
OpenMP
TFHE library
biblio
Reducing attack surface corresponding to Type 1 cross-site scripting attacks using secure development life cycle practices
Submitted by
aekwall
on Mon, 12/16/2019 - 1:17pm
attack
attack surface
Browsers
client-side code injection attack
clients Web browser
Cross Site Scripting
cross-site scripting
encoding
Human behavior
internet
Internet based application
legitimate Web site
Libraries
malicious functions
malicious links
malware
non-persistent
nonpersistent cross-site scripting attack
online front-ends
pubcrawl
resilience
Scalability
secure development life cycle practices
Uniform resource locators
Web based application vulnerabilities
Web request
Web response
Web server
Web sites
Web users
XSS
biblio
MeetCI: A Computational Intelligence Software Design Automation Framework
Submitted by
grigby1
on Mon, 12/09/2019 - 1:01pm
application design decisions
CI users
composability
Compositionality
computational intelligence
computational intelligence libraries
computational intelligence software design automation framework
computational intelligence techniques
Cryptography
expert system
expert systems
language compatibility
learning (artificial intelligence)
Libraries
machine learning
machine learning domains
MeetCI
open source software framework
pubcrawl
public domain software
recurrent neural nets
Recurrent neural networks
Security Evaluation
Software
Software algorithms
Software design automation
software engineering
software implementation process
specific supported functionality
tools
XML
XML file
biblio
Formally Verified Cryptographic Web Applications in WebAssembly
Submitted by
aekwall
on Mon, 12/02/2019 - 11:08am
authoring languages
Browsers
CoMP
compilation pipeline
compiler
compiler security
Compositionality
cryptographic code
Cryptographic Protocols
cryptographic-library
cryptographic-protocol-verification
Cryptography
formal verification
high-assurance cryptographic libraries
high-profile attacks
instruction set
Java
JavaScript runtimes
Libraries
low-level subset
Metrics
modern Web applications
program compilers
program diagnostics
program verification
Protocols
pubcrawl
public domain software
Resiliency
Scalability
security-critical software
Servers
Signal
sophisticated custom cryptographic components
standard protocols
standards
toolchain
verification
verification techniques
verification-oriented programming languages
verified cryptographic Web applications
verified HACL cryptographic library
verified implementation
verified-software
web-security
Webassembly
WebAssembly compilers
WebAssembly version
whatsapp
biblio
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
Submitted by
aekwall
on Mon, 12/02/2019 - 11:08am
Safety
security of data
Scalability
Resiliency
pubcrawl
Cryptography
Metrics
Libraries
program diagnostics
program verification
Writing
Space exploration
Security Properties
Compositionality
program compilers
secure code
source program
adversarial contexts
arbitrary adversarial contexts
compiled program
Computer languages
equivalent property-free
formal secure compilation criteria
full abstraction
fully abstract compilation chain
good programming languages
hyperproperties
linked adversarial code
linked adversarial target code
linked source code
linked target code
liveness
low-level target language
multiple programs
noninterference
property classes
relational hyperproperties
relational properties
robust preservation
robust property preservation
secure compilation
secure compilation chain
Secure interoperability
secure linking
Security Foundations
source language
source-level abstraction
strictly stronger security guarantees
supported security goals
trace properties
compiler security
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
Scalability
Cryptography
Cryptographic Protocols
Program processors
Resiliency
pubcrawl
Metrics
standards
optimization
Libraries
optimisation
program verification
timing
Security Properties
Compositionality
program compilers
C
C abstract machine
C++ language
careful programmer
Clang
compiler commands
Compiler Optimization
compiler optimizations
compiler performance
compiler upgrade
compiler writers
compilers
constant-time
CPUs
crypto code
cryptographic algorithm
cryptographic protocol security
erasing
implicit properties
language security
LLVM
mainstream C compilers
secure code
Security Engineers
side channels
side effects
stack
timing channel
zeroing
compiler security
biblio
Design of Generic Verification Procedure for IIC Protocol in UVM
Submitted by
grigby1
on Tue, 11/12/2019 - 3:29pm
Aerospace electronics
APB(Advanced peripheral bus)
bugs
Clocks
code coverage
collaboration
composability
Compositionality
Conferences
DUT(Design under test)
field buses
functional coverage
generic verification procedure
hardware description languages
Hardware design languages
IIC bus protocol
IIC controller
IIC protocol
Libraries
Mentor graphic Questasim 10.4e
Monitoring
policy-based governance
privacy
product development
program verification
protocol verification
Protocols
pubcrawl
SCL(Serial clock line)
SDA(Serial data line)
standard method
Synchronization
Universal Verification Methodology
UVC(Universal verification component)
UVM
UVM(Univeral verification methodology)
Verilog
Vivado
biblio
Secure Coding Practices in Java: Challenges and Vulnerabilities
Submitted by
grigby1
on Wed, 10/30/2019 - 9:53am
coding theory
security
application program interfaces
authentication
authorisation
authorization
authorization features
Certificate Validation
complex Java-based
complicated cross-language data handling
Computer crime
cross-site request forgery attacks
cryptographic hash functions
Cryptography
cryptography API
CSRF
developers time
empirical study
encoding
insecure coding practices
Java
Java platform
Java secure coding
Libraries
multiple security vulnerabilities
programming
programming challenges
programming obstacles
pubcrawl
resilience
Resiliency
Scalability
Secure Coding
secure coding assistance
secure coding practices
Security by Default
Spring security
SSL-TLS security
SSL/TLS
StackOverflow
StackOverflow forum
StackOverflow posts
third-party framework
third-party libraries
XML
XML-based approaches
1
2
3
4
5
next ›
last »
