Artificial Intelligence
Building intelligent machines that complement human reasoning and extend what people can do.
Project
Micro-climate Predictions
Addressing micro-climate prediction workflows for industries and communities Knowledge of micro-climate and micro-climate predictions are of importance in agriculture, forestry, renewable energy systems, architecture, urban design, ecology conservation, maritime and many other domains. Access to…
Project
Project FoodVibes
Reducing food waste and optimizing production Through the FoodVibes, we are addressing the global food challenge by developing and deploying affordable technology that helps reduce waste and optimize production. Starting from the farms, we focus…
Project
Community Powered Micro-grids
Driving equitable power management With solar & wind technology decentralizing energy production, a new opportunity for driving equity is arising. Communities that are marginalized on electricity grids have the opportunity to power and manage their…
Video
ASPLOS’22 – Session 2B | Revizor: Testing Black-box CPUs against Speculation Contracts
ASPLOS’22: The 27th International Conference on Architectural Support for Programming Languages and Operating Systems Session 2B: Privacy and Software Security Session Chair: Baris Kasikci, University of Michigan Title: Revizor: Testing Black-box CPUs against Speculation Contracts…
Video
Revizor: Automatic Detection of Speculative Vulnerabilities (Lightning Talk for ASPLOS 2022)
Lightning Talk for ASPLOS 2022 Speaker: Oleksii Oleksenko Video: Neeltje Berger, Zane Colquhoun Speculative vulnerabilities such as Spectre and Meltdown can be exploited to leak information across security domains via side-channels. Revizor is a principled…
