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
APIs
biblio
Checking Security Properties of Cloud Service REST APIs
Submitted by grigby1 on Wed, 01/20/2021 - 4:19pm
modern cloud
web services
test generation
stateful REST API fuzzer
security rules
security of data
security
REST APIs
Resiliency
resilience
rendering (computer graphics)
pubcrawl
Production
Office365 cloud services
active property checkers
fuzzing
formal verification
Computer bugs
Compositionality
cloud service REST
Cloud Computing
Cloud and Web services
checking security properties
capture desirable properties
application programming interface
application program interfaces
APIs
API
biblio
IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs
Submitted by grigby1 on Fri, 08/14/2020 - 11:45am
Domain-Specific Language
application programming interface
lightweight domain-specific language
large-scale C programs
IMSpec rules
API-misuse detection capability
API usage validation
API usage constraints
API misuses
bug detection
API-misuse bugs
application programming interfaces
Syntactics
Semantics
Compositionality
tools
specification languages
public domain software
Computer bugs
application program interfaces
APIs
program diagnostics
program debugging
static analysis
Software
Resiliency
resilience
pubcrawl
Engines
biblio
Inferring API Correct Usage Rules: A Tree-based Approach
Submitted by grigby1 on Fri, 08/14/2020 - 11:45am
inference mechanisms
application programming interface
statistically extracted API correct usage rules
Software Vulnerability
parent API
majority API usages
lower-level API
API tree structure
API misuse
API documentation
API Correct Usage Rule
security of data
Compositionality
tree data structures
application program interfaces
APIs
Linux
program debugging
Resiliency
resilience
pubcrawl
biblio
An Empirical Study on API-Misuse Bugs in Open-Source C Programs
Submitted by grigby1 on Fri, 08/14/2020 - 11:44am
C language
API misuse
API-misuse bugs
API-misuse detection
API-misuse detectors
APIMU4C
benchmark
bug detection
C code
application programming interfaces
empirical study
fix patterns
Open Source Software
open-source C programs
static analysis detectors
usage statistics
application programming interface
security of data
Detectors
Compositionality
public domain software
security vulnerabilities
Computer bugs
application program interfaces
APIs
program diagnostics
program debugging
static analysis
Libraries
Benchmark testing
Resiliency
resilience
pubcrawl
biblio
More Secure Collaborative APIs Resistant to Flush+Reload and Flush+Flush Attacks on ARMv8-A
Submitted by grigby1 on Fri, 08/14/2020 - 11:44am
ARMv8-A processor
application programming interface
tablets
suspected Flush+Reload
static code analysis schemes
secure collaborative API
obfuscation techniques
mobile phones
Flush+Reload attack
Flush+Flush cache attacks
Flush+Flush attack
flush operation API
Collabo rative API
security of data
ARMv8 A
Compositionality
application program interfaces
APIs
program diagnostics
performance evaluation
cache storage
mobile computing
microprocessor chips
Resiliency
resilience
pubcrawl
biblio
MALPITY: Automatic Identification and Exploitation of Tarpit Vulnerabilities in Malware
Submitted by grigby1 on Fri, 08/14/2020 - 11:44am
orthogonal defense
global malware operations
law enforcement agencies
MALPITY
malware authors
malware families
malware spreading
malware tarpits
monetization techniques
command and control systems
POSIX
Sinkholing
Socket API
Tarpit
tarpit vulnerabilities
Unix
Winsock socket APIs
application programming interface
Dynamic Malware Analysis
Servers
pubcrawl
resilience
Resiliency
malware
invasive software
APIs
application program interfaces
Engines
Compositionality
network service
network operation
botnet
sockets
Grippers
botnet infrastructures
botnets
biblio
What Do Developers Discuss about Biometric APIs?
Submitted by grigby1 on Fri, 08/14/2020 - 11:44am
Market research
application programming interface
system developers
sound biometric system
Neurotechnology
multiple implementation environments
Empirical Software Engineering
biometrics
biometric-based algorithms
biometric technology
biometric API-related posts
APIs misuse
Face
pubcrawl
Sorting
documentation
feature extraction
Compositionality
Task Analysis
biometrics (access control)
application program interfaces
APIs
Software
Resiliency
resilience
biblio
FireBugs: Finding and Repairing Bugs with Security Patterns
Submitted by grigby1 on Fri, 08/14/2020 - 11:44am
program debugging
Software systems
software quality
software maintenance
software design experience
software defects
security patterns
security of data
security bugs
security
Secure Software Development
Resiliency
resilience
repairing bugs
pubcrawl
Automated Secure Software Engineering
mobile computing
javax.crypto APIs
firebugs
Cryptography
Compositionality
Bug Repair
automated approach
application programming interface
application program interfaces
APIs
Android app repositories
Android (operating system)
composability
biblio
BenchPress: Analyzing Android App Vulnerability Benchmark Suites
Submitted by grigby1 on Fri, 08/14/2020 - 11:43am
Android security analysis tools
application programming interface
UBCBench
tool developers
temperature 227.0 K
stack overflow
security-related APIs
Representativeness
ICCBench
Ghera
Empirical Software Engineering
DroidBench
BenchPress
benchmark
Android-specific benchmark suites
security of data
Android app vulnerability benchmark suite analysis
Android app development
Android (operating system)
evaluation
android
Compositionality
application program interfaces
APIs
mobile computing
Resiliency
resilience
pubcrawl
security
biblio
Intelligent Service Mesh Framework for API Security and Management
Submitted by grigby1 on Fri, 08/14/2020 - 11:43am
API service mesh security
application programming interface
service plane
Service Mesh
security framework
Machine Learning enabled Security
Kubernetes
Istio
intelligent service mesh framework
enterprise-level business development
enterprise businesses
domain APIs
application programming interfaces
security of data
API security
API Mashups
API management
API creation
Compositionality
API calls
application program interfaces
APIs
Resiliency
resilience
pubcrawl
business data processing
« first
‹ previous
1
2
3
4
5
6
7
next ›
last »
