Author of the publication

Proving the correct execution of concurrent services in zero-knowledge.

, , , and . OSDI, page 339-356. USENIX Association, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The MSFAM: a modified fuzzy ARTMAP system., , , , and . Pattern Anal. Appl., 8 (1-2): 1-16 (2005)Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS., , , , and . CRYPTO (2), volume 14082 of Lecture Notes in Computer Science, page 193-226. Springer, (2023)Dueling RL: Reinforcement Learning with Trajectory Preferences., , and . AISTATS, volume 206 of Proceedings of Machine Learning Research, page 6263-6289. PMLR, (2023)Analyzing Energy Consumption of Appliances in Smart Grids., and . AMCIS, Association for Information Systems, (2023)Modeling imprecise requirements with XML., , , and . FUZZ-IEEE, page 861-866. IEEE, (2002)Discovering Early Aspects through Goals Interactions., , , and . APSEC, page 97-106. IEEE, (2012)Derivative-Free Failure Avoidance Control for Manipulation using Learned Support Constraints., , , and . CoRR, (2018)ICedge: When Edge Computing Meets Information-Centric Networking., , , and . IEEE Internet Things J., 7 (5): 4203-4217 (2020)REST2SOAP: A framework to integrate SOAP services and RESTful services., , and . SOCA, page 1-4. IEEE Computer Society, (2009)Activating mobile agents from contactless smart cards through a Java bytecode extractor., , , , , and . SMC, page 3948-3951. IEEE, (2010)