Hardware & devices
Driving advances in hardware, devices and cyber-physical systems.
Video
Project Catapult Academic Tutorial: Getting Started and Intro to APIs
We will be presenting a series of online tutorial sessions to introduce and provide examples of the work that is possible in the Catapult Academic environment.
Video
Asynchronous Reactive Models – Event-based Analysis of Networks of Actors
Rebeca is designed for modeling and formal verification of asynchronous and reactive systems in 2001, and is supported by a model-checking tool, Afra. Followed by that, an actor-based family of languages are introduced to enable…
Video
Project Catapult Academic Tutorial
We will be presenting a series of online tutorial sessions to introduce and provide examples of the work that is possible in the Catapult Academic environment.
Publication
Scale-out acceleration for machine learning
Video
Resilience and Security in Cyber-Physical Systems: Self-Driving Cars and Smart Devices
The future will be defined by autonomous computer systems that are tightly integrated with the environment, also known as Cyber-Physical systems (CPS). Resilience and security become extremely important in these systems, as a single error…
Project
Tuning Data Center Performance with Machine Learning (Past Project – Completed)
We have built tools that help us accurately measure hardware performance metrics and have also developed machine-learning models that have enabled us to unravel the relationships between workloads and firmware settings.
Dataset Source Code
SIDH v2.0 (C Edition)
The SIDH v2.0 library is a supersingular isogeny-based cryptography library that implements a new suite of algorithms for a post-quantum, ephemeral Diffie-Hellman key exchange scheme.
Dataset Source Code
Picnic: Post Quantum Signatures
The Picnic and Fish signature schemes are digital signature schemes secure against attacks by quantum computers. This is a reference implementation of these schemes, associated with the paper Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives.
Video
Artificial Social Intelligence
Breakthroughs in Artificial Intelligence (AI) have typically shown that AI systems are good at solving specific tasks that have a well-defined goal, such as Speech Recognition, Image Captioning, Games like Poker/Go/Jeopardy, among others. However, as…
