Publication Overview
Michael Backes and Matteo Maffei and Dominique Unruh
Computationally sound verification of source code
| Published in: | ACM Conference on Computer and Communications Security |
|---|---|
| Year: | 2010 |
| Pages: | 387-398 |
Cluster of Excellence Multimodal Computing and Interaction
Cluster of Excellence Multimodal Computing and Interaction
News
14.12.18Statue for the Helmholtz Center for Information Security (CISPA)
read more >> 14.12.18SIC start-up collaborates with Villeroy & Boch
Specialists who evaluate data for companies using mathematical methods and thus secure a lead in the race for customers and profits are desperately sought after. The data science start-up "d:AI:mond " from the Saarbrücken Informatics Campus at Saarland University responds to this need and offers companies expertise in the form of two professors and two other internationally renowned experts. After a successful incubation phase in the IT incubator at Saarland University, one thing is certain: the concept will work. Since mid-October, d:AI:mond has been registered as a GmbH in the commercial register and can already boast well-known customers.
read more >>
Partners
