Noise*: A library of Verified High-Performance Secure Channel Protocol Implementations
477
39.8
Microsoft Research334 тыс
Следующее
Популярные
88 дней – 1 0291:02:04
333 дня – 11 35012:33Опубликовано 10 июня 2021, 14:00
Systems
19 May 2021
Speaker: Son Ho, INRIA
(collaboration with Karthik Bhargavan, INRIA and Antoine Delignat-Lavaud, Cédric Fournet, Florian Grould, Jonathan Protzenko, Nikhil Swamy, Santiago Zanella, Microsoft)
This virtual event brought together the PhD students and postdocs working on collaborative research engagements with Microsoft via the Swiss Joint Research Center, Mixed Reality & AI Zurich Lab, Mixed Reality & AI Cambridge Lab, Inria Joint Center, their academic and Microsoft supervisors as well as the wider research community. The event continued in the tradition of the annual Swiss JRC Workshops. PhD students and postdocs presented project updates and discussed their research with their supervisors and other attendants. In addition, Microsoft speakers provided updates on relevant Microsoft projects and initiatives. There were four event sessions according to research themes:
Learn more about the Joint Research Center Workshop 2021: microsoft.com/en-us/research/e...
19 May 2021
Speaker: Son Ho, INRIA
(collaboration with Karthik Bhargavan, INRIA and Antoine Delignat-Lavaud, Cédric Fournet, Florian Grould, Jonathan Protzenko, Nikhil Swamy, Santiago Zanella, Microsoft)
This virtual event brought together the PhD students and postdocs working on collaborative research engagements with Microsoft via the Swiss Joint Research Center, Mixed Reality & AI Zurich Lab, Mixed Reality & AI Cambridge Lab, Inria Joint Center, their academic and Microsoft supervisors as well as the wider research community. The event continued in the tradition of the annual Swiss JRC Workshops. PhD students and postdocs presented project updates and discussed their research with their supervisors and other attendants. In addition, Microsoft speakers provided updates on relevant Microsoft projects and initiatives. There were four event sessions according to research themes:
Learn more about the Joint Research Center Workshop 2021: microsoft.com/en-us/research/e...
Свежие видео
12 дней – 1 8581:01
12 дней – 8 945 1660:18
15 дней – 1 3420:28
16 дней – 3 52511:34
18 дней – 19 9727:45
19 дней – 1 808 5681:09Случайные видео
171 день – 91829:40
180 дней – 68 6131:11
223 дня – 421 67310:45
347 дней – 35 9942:19
10.10.22 – 448 8330:43
02.11.10 – 27 5938:08
1 день – 1 1880:06
1 день – 14 26021:30
3 дня – 1 0284:01
4 дня – 527 7845:15
4 дня – 890:27
4 дня – 5 7771:01
7 дней – 1 7715:37
