research
∙
07/05/2023
Using Rewrite Strategies for Efficient Functional Automatic Differentiation
Automatic Differentiation (AD) has become a dominant technique in ML. AD...
share
research
∙
06/01/2023
UNGOML: Automated Classification of unsafe Usages in Go
The Go programming language offers strong protection from memory corrupt...
research
∙
05/19/2023
Towards Code Generation from BDD Test Case Specifications: A Vision
Automatic code generation has recently attracted large attention and is ...
research
∙
05/15/2023
A Direct-Style Effect Notation for Sequential and Parallel Programs
Modeling sequential and parallel composition of effectful computations h...
research
∙
04/14/2023
LoRe: A Programming Model for Verifiably Safe Local-First Software
Local-first software manages and processes private data locally while st...
research
∙
09/22/2022
To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild
Recent studies have revealed that 87 cryptographic APIs have a misuse w...
research
∙
06/07/2022
Dependently-Typed Data Plane Programming
Programming languages like P4 enable specifying the behavior of network ...
research
∙
05/16/2022
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version)
Decentralized applications (dApps) consist of smart contracts that run o...
research
∙
04/13/2022
CamBench – Cryptographic API Misuse Detection Tool Benchmark Suite
Context: Cryptographic APIs are often misused in real-world applications...
research
∙
09/02/2021
Python Crypto Misuses in the Wild
Background: Previous studies have shown that up to 99.59 using crypto A...
research
∙
08/20/2021
Fex: Assisted Identification of Domain Features from C Programs
Modern software typically performs more than one functionality. These fu...
research
∙
05/11/2021
Dealing with Variability in API Misuse Specification
APIs are the primary mechanism for developers to gain access to external...
research
∙
10/21/2020
Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild
The Go programming language aims to provide memory and thread safety thr...
research
∙
10/09/2020
Modular Collaborative Program Analysis in OPAL
Current approaches combining multiple static analyses deriving different...
research
∙
10/01/2020
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices
Network programmability will be required to handle future increased netw...
research
∙
06/10/2020
Mind the GAP: Security Privacy Risks of Contact Tracing Apps
Contact tracing apps running on mobile devices promise to reduce the man...
research
∙
02/11/2020
Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy
String obfuscation is an established technique used by proprietary, clos...
research
∙
08/27/2019
DTN7: An Open-Source Disruption-tolerant Networking Implementation of Bundle Protocol 7
In disruption-tolerant networking (DTN), data is transmitted in a store-...
research
∙
08/27/2019
Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City
Currently, nearly four billion people live in urban areas. Since this tr...
research
∙
07/05/2019
Type-safe, Polyvariadic Event Correlation
The pivotal role that event correlation technology plays in todays appli...
research
∙
06/17/2019
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4
The P4 programming language offers high-level, declarative abstractions ...
research
∙
02/01/2019
Comprehensive Multiparty Session Types
Multiparty session types (MST) are a well-established type theory that d...
research
∙
12/01/2017
A Systematic Evaluation of Static API-Misuse Detectors
Application Programming Interfaces (APIs) often have usage constraints, ...
research
∙
12/01/2017
A Systematic Evaluation of API-Misuse Detectors
Application Programming Interfaces (APIs) often have usage constraints, ...
research
∙
10/02/2017
CrySL: Validating Correct Usage of Cryptographic APIs
Various studies have empirically shown that the majority of Java and And...
research
∙
05/16/2017