Hot Research
Bugs in our Pockets: The Risks of Client-Side Scanning
Instead of weakening encryption or providing law enforcement with backdoor keys to decrypt communications, CSS would enable on-device analysis of data in the clear.
Cryptography and Security Computers and Society
Unique on Facebook: Formulation and Evidence of (Nano)targeting Individual Users with non-PII Data
Previous literature has also reported that, in datasets including millions of users, a combination of several non-PII items (which alone are not enough to identify an individual) can uniquely identify an individual within the dataset.
Social and Information Networks Computers and Society
Impact of delay classes on the data structure in IOTA
However, the exact time that a message enters the tip pool of a node depends on the delay of that message.
Distributed, Parallel, and Cluster Computing
Legged Robots that Keep on Learning: Fine-Tuning Locomotion Policies in the Real World
Legged robots are physically capable of traversing a wide range of challenging environments, but designing controllers that are sufficiently robust to handle this diversity has been a long-standing challenge in robotics.
Robotics
StateAFL: Greybox Fuzzing for Stateful Network Servers
At run-time, it infers the current protocol state of the target by analyzing snapshots of long-lived memory areas, and incrementally builds a protocol state machine for guiding fuzzing.
Cryptography and Security Operating Systems Software Engineering
Sliced Mutual Information: A Scalable Measure of Statistical Dependence
Mutual information (MI) is a fundamental measure of statistical dependence, with a myriad of applications to information theory, statistics, and machine learning.
Information Theory Information Theory
Fallout: Distributed Systems Testing as a Service
All modern distributed systems list performance and scalability as their core strengths.
Databases Distributed, Parallel, and Cluster Computing
Floating Isogeometric Analysis
The method is based on a novel tensor-product construction of B-Splines for the update of the basis functions in one direction of the parametric space.
Computational Engineering, Finance, and Science
Robust Safety for Move
We formalise an escape analysis as an instantiation of the encapsulator and prove that it attains the required security properties.
Programming Languages
Ethical Assurance: A practical approach to the responsible design, development, and deployment of data-driven technologies
This article offers several contributions to the interdisciplinary project of responsible research and innovation in data science and AI.
Computers and Society
