3 citations · 3 across the 1 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2020
Traffic Generation using Containerization for Machine Learning
Henry Clausen, Robert Flood, David Aspinall
The design and evaluation of data-driven network intrusion detection methods are currently held back by a lack of adequate data, both in terms of benign and attack traffic. Existin…
cs.CR2018
How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation
David Butler, David Aspinall, Adria Gascon
In cryptography, secure Multi-Party Computation (MPC) protocols allow participants to compute a function jointly while keeping their inputs private. Recent breakthroughs are bringi…