activity
20192024
most citedA Compiler Assisted Scheduler for Detecting and Mitigating Cache-Based Side Channel Attacks

5 citations · 8 across the 9 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2019★ 2 cited

Formalization of Automated Trading Systems in a Concurrent Linear Framework

Iliano Cervesato, Sharjeel Khan, Giselle Reis +1

We present a declarative and modular specification of an automated trading system (ATS) in the concurrent linear framework CLF. We implemented it in Celf, a CLF type checker which…