( en | de | ru )

 

Disambiguation of "Lapets, Andrei"

Author of the publication

copydeleteadd this publication to your clipboard
Towards accessible integration and deployment of formal tools and techniques.

, , , and . TOPI@ICSE, page 19-24. IEEE Computer Society, (2013)

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.

Andrei Lehmann

Andrei Belitski

Andrei Negoescu

Andrei Verbovsky

Andrei Munk

 

Other publications of authors with the same name

The Filter-Placement Problem and its Application to Minimizing Information Multiplicity., , , , and . Proc. VLDB Endow., 5 (5): 418-429 (2012)The Complexity of Restricted Variants of the Stable Paths Problem., , and . Fundam. Informaticae, 103 (1-4): 69-87 (2010)Safe compositional network sketches: formal framework., , , and . HSCC, page 231-241. ACM, (2010)Asynchronous Delegated Private Set Intersection with Hiding of Intersection Size., , , , and . IACR Cryptol. ePrint Arch., (2022)Role-Based Ecosystem Model for Design, Development, and Deployment of Secure Multi-Party Data Analytics Applications., , , and . IACR Cryptology ePrint Archive, (2017)Privacy-Preserving Privacy Profile Proposal Protocol., and . IACR Cryptol. ePrint Arch., (2021)From Usability to Secure Computing and Back Again., , , , , , , and . SOUPS @ USENIX Security Symposium, USENIX Association, (2019)Tutorial: Deploying Secure Multi-Party Computation on the Web Using JIFF., , , , , and . SecDev, page 3. IEEE, (2019)Safe Compositional Equation-based Modeling of Constrained Flow Networks., , , and . EOOLT, volume 56 of Linköping Electronic Conference Proceedings, page 35-44. Linköping University Electronic Press, (2011)Implementing Arbitrary Maps over Small Finite Domains using Ring Addition and Scalar Multiplication.. IACR Cryptol. ePrint Arch., (2023)