Author of the publication

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

A High-Assurance, Automatically-Synthesized, Evaluator for Machine-Checked (Proactively) Secure Multi-Party Computation., and . IACR Cryptology ePrint Archive, (2019)Optimizing Load Balancing Routing Mechanisms with Evolutionary Computation., , and . Intelligent Environments (Workshops), volume 21 of Ambient Intelligence and Smart Environments, page 298-307. IOS Press, (2016)A High-Assurance Evaluator for Machine-Checked Secure Multiparty Computation., and . CCS, page 851-868. ACM, (2019)A Framework for Robust Traffic Engineering Using Evolutionary Computation., , , , and . AIMS, volume 7943 of Lecture Notes in Computer Science, page 1-12. Springer, (2013)Automated Network Resilience Optimization Using Computational Intelligence Methods., , and . IDC, volume 616 of Studies in Computational Intelligence, page 485-495. Springer, (2015)Computer Poker Research at LIACC, , , , , , , , , and . CoRR, (2013)Linearization of class D amplifiers., , , , and . CICC, page 1-4. IEEE, (2012)A Fast and Verified Software Stack for Secure Function Evaluation., , , , , , and . ACM Conference on Computer and Communications Security, page 1989-2006. ACM, (2017)Segment Routing Single Link Failure Congestion Optimization., , and . ICETE (1), page 242-249. SciTePress, (2018)Optimizing Segment Routing using Evolutionary Computation., , and . FNC/MobiSPC, volume 110 of Procedia Computer Science, page 312-319. Elsevier, (2017)