Overview
News
Technologies
Salaries
Products
People
Growth
Financials

Overview

Digamma.ai acts as machine learning consultants and engineers to startup founders interested in integrating AI and machine learning into their products.

News

News digamma.ai 5 years ago
How to Discover and Prevent Linux Kernel Zero-day Exploit using Formal Verification
Recently a zero-day exploit (CVE-2021-31440) was found in the Linux kernel eBPF module. We will show how this bug could have been discovered and prevented using formal verification. A relatively simple logical error caused this bug, but it is easy to over
Read more
Report
Ignazio Gardella Two works: Armchair model Digamma (2) (1957) MutualArt
View Two works: Armchair model Digamma (2) (1957) Designed by Gardella Ignazio; Metal structure in enamelled steel, brass finishes, foam padding, original mustard-colored velvet covering (2); 70x67x106 cm (2); Edition. Access more artwork lots and estimat
Read more
Report