21 citations · 24 across the 4 of their papers we have counts for
5 papers
Reconciling Shannon and Scott with a Lattice of Computable Information
Sebastian Hunt, David Sands, Sandro Stucki
This paper proposes a reconciliation of two different theories of information. The first, originally proposed in a lesser-known work by Claude Shannon, describes how the informatio…
A Theory of Higher-Order Subtyping with Type Intervals (Extended Version)
Sandro Stucki, Paolo G. Giarrusso
The calculus of Dependent Object Types (DOT) has enabled a more principled and robust implementation of Scala, but its support for type-level computation has proven insufficient. A…
Transforming Data Flow Diagrams for Privacy Compliance (Long Version)
Hanaa Alshareef, Sandro Stucki, Gerardo Schneider
Recent regulations, such as the European General Data Protection Regulation (GDPR), put stringent constraints on the handling of personal data. Privacy, like security, is a non-fun…
Rate Equations for Graphs
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer +1
In this paper, we combine ideas from two different scientific traditions: 1) graph transformation systems (GTSs) stemming from the theory of formal languages and concurrency, and 2…
Gray-box Monitoring of Hyperproperties (Extended Version)
Sandro Stucki, César Sánchez, Gerardo Schneider +1
Many important system properties, particularly in security and privacy, cannot be verified statically. Therefore, runtime verification is an appealing alternative. Logics for hyper…