research
∙
05/29/2023
Escaping mediocrity: how two-layer networks learn hard single-index models with SGD
This study explores the sample complexity for two-layer neural networks ...
share
research
∙
05/06/2023
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
Verification of machine learning models used in Natural Language Process...
research
∙
02/12/2023
From high-dimensional mean-field dynamics to dimensionless ODEs: A unifying approach to SGD in two-layers networks
This manuscript investigates the one-pass stochastic gradient descent (S...
research
∙
08/06/2022
Towards Interdependent Safety Security Assessments using Bowties
We present a way to combine security and safety assessments using Bowtie...
research
∙
06/21/2022
Why Robust Natural Language Understanding is a Challenge
With the proliferation of Deep Machine Learning into real-life applicati...
research
∙
02/10/2022
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
Verification of neural networks is currently a hot topic in automated th...
research
∙
05/19/2021
MetaCP: Cryptographic Protocol Design Tool for Formal Verification
We present MetaCP, a tool to aid the cryptographer throughout the proces...
research
∙
05/17/2021
A Review of Intrusion Detection Systems and Their Evaluation in the IoT
Intrusion Detection Systems (IDS) are key components for securing critic...
research
∙
09/21/2020
Machine Learning Classification of Price Extrema Based on Market Microstructure Features: A Case Study of S P500 E-mini Futures
The study introduces an automated trading system for S&P500 E-mini futur...
research
∙
11/28/2019
Modelling Load-Changing Attacks in Cyber-Physical Systems
Cyber-Physical Systems (CPS) are present in many settings addressing a m...
research
∙
10/07/2019
Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols
We propose MetaCP, a Meta Cryptography Protocol verification tool, as an...
research
∙
01/24/2019
Generating Synthetic Data for Real World Detection of DoS Attacks in the IoT
Denial of service attacks are especially pertinent to the internet of th...
research
∙
10/30/2017