Contact information
Wednesdays, 2-4pm, Zoom Link
Smart Proofs via Recursive Information Gathering, Sylvain Carré , Franck Gabriel , Clément Hongler , Gustavo Lacerda , Gloria Capano . To appear in Distributed Ledger Technologies: Research and Practice [ SSRN Link ] [ Whitepaper arXiv link ]