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
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
biblio
Increase Capacity of QR Code Using Compression Technique
Submitted by
aekwall
on Mon, 09/23/2019 - 9:46am
bank data processing
Bar codes
barcode
cashless society
compression technique
Cryptography
cyber physical systems
data compression
data storage capacity
Decoding
demonetization step
e-wallet companies
encoding
error correction codes
Image color analysis
Libraries
Memory
Multi color QR code
pubcrawl
QR code decoder application
QR codes
QR–Code
Resiliency
RGB color technique
smart cities
storage management
biblio
In Search of CurveSwap: Measuring Elliptic Curve Implementations in the Wild
Submitted by
aekwall
on Wed, 05/01/2019 - 11:37am
Cryptographic Protocols
curve twist attacks
curve validity checks
CurveSwap attack
Elliptic curve cryptography
elliptic curve parameter downgrade attack
Elliptic curves
HTTPS hosts
internet
internet scanning
internet-wide scans
invalid curve attacks
IPsec
Libraries
Metrics
Protocols
pubcrawl
Resiliency
Scalability
server vulnerability
Servers
SSH hosts
standards
TLS handshake
transport layer protocol
transport protocols
twist attacks
biblio
Software Ecosystem Call Graph for Dependency Management
Submitted by
aekwall
on Mon, 03/04/2019 - 9:49am
security of data
security
Software
Resiliency
pubcrawl
composability
tools
Libraries
software engineering
automated tools
call graphs
centralized code repositories
client-server systems
Computer bugs
core package
counter measure
dependencies
dependency checkers
Dependency management
dependency networks
developers
ecosystem-level
Ecosystems
Equifax data breach
external libraries
fine-grained dependency network
impact
indicative information
leftpad package removal
open source software libraries
packages
popular form
program analysis
public domain software
software development management
software ecosystem
software libraries
software reusability
Software reuse
workspace
Automated Secure Software Engineering
biblio
.Net library for SMS spam detection using machine learning: A cross platform solution
Submitted by
aekwall
on Mon, 02/25/2019 - 10:40am
Algorithms
classification
Classification algorithms
clustering
Clustering algorithms
cross platform .Net development
C\#
C\# languages
C\# library
detection
electronic messaging
email spam detection
filtering algorithms
Human behavior
learning (artificial intelligence)
Libraries
machine learning
machine learning algorithms
Metrics
Net library
online detection
pattern classification
pubcrawl
random forest algorithm
random processes
Scalability
security of data
short message service
SMS
SMS spam detection
spam dataset classification
spam detection
spam filter
spam messages
tools
unsolicited e-mail
biblio
T-Fuzz: Fuzzing by Program Transformation
Submitted by
grigby1
on Thu, 02/14/2019 - 10:20am
security
security of data
Software
tools
pubcrawl
Metrics
composability
taint analysis
program debugging
program testing
Libraries
fuzzing
program diagnostics
bug finding
code paths
Computer bugs
coverage-guided fuzzer
deep execution paths
dynamic tracing based technique
Fuzz
fuzzer-generated inputs
fuzzing transformed programs
input checks
input mutation techniques
program analysis
program transformation
program verification
randomly generated inputs
software bugs
symbolic execution-based approach
t-fuzz approach
1
2
3
4
next ›
last »
