Upper Pleistocene parabolic ridges (i.e. ‘chevrons’) from the Bahamas: Storm‐wave sediments or aeolian deposits? A quantitative approach von Vimpere, Lucas, Del Piero, Nicoló, Shawwa, Nabil A., Beguelin, Karim, Kindler, Pascal, Castelltort, Sébastien, Ghinassi, Massimiliano

Volltext

Verified low-level programming embedded in F von Protzenko, Jonathan, Zinzindohoué, Jean-Karim, Rastogi, Aseem, Ramananandro, Tahina, Wang, Peng, Zanella-Béguelin, Santiago, Delignat-Lavaud, Antoine, Hriţcu, Cătălin, Bhargavan, Karthikeyan, Fournet, Cédric, Swamy, Nikhil

Volltext

Implementing and Proving the TLS 1.3 Record Layer von Delignat-Lavaud, Antoine, Fournet, Cedric, Kohlweiss, Markulf, Protzenko, Jonathan, Rastogi, Aseem, Swamy, Nikhil, Zanella-Beguelin, Santiago, Bhargavan, Karthikeyan, Jianyang Pan, Zinzindohoue, Jean Karim

Volltext

Verified Low-Level Programming Embedded in F von Protzenko, Jonathan, Jean-Karim Zinzindohoué, Rastogi, Aseem, Ramananandro, Tahina, Wang, Peng, Zanella-Béguelin, Santiago, Delignat-Lavaud, Antoine, Hritcu, Catalin, Karthikeyan Bhargavan, Fournet, Cédric, Swamy, Nikhil

Volltext

Dependent types and multi-monadic effects in F von Swamy, Nikhil, Hriţcu, Cătălin, Keller, Chantal, Rastogi, Aseem, Delignat-Lavaud, Antoine, Forest, Simon, Bhargavan, Karthikeyan, Fournet, Cédric, Strub, Pierre-Yves, Kohlweiss, Markulf, Zinzindohoue, Jean-Karim, Zanella-Béguelin, Santiago

Volltext