Menu
  • About & Contact
  • Feedback
  • Contribute
  • Help
  • zbMATH

swMATH

swmath-logo
  • Search
  • Advanced search
  • Browse
  • browse software by name
  • browse software by keywords
  • browse software by MSC
  • browse software by types

ABY

ABY - a framework for efficient mixed-protocol secure two-party computation.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

  • simulation-based proof
  • LLVM
  • universal circuit
  • logic synthesis
  • oblivious transfer
  • secret sharing
  • implementation
  • formal verification
  • hidden access structures
  • cryptographic protocols
  • PRIM-LWE
  • private function evaluation
  • secure multi-party computation
  • circuit compilation
  • cryptography
  • extremal set theory
  • ring-LWE
  • scalability
  • oblivious transfer extension
  • compiler
  • MPC
  • additively homomorphic encryption
  • learning with errors
  • beaver multiplication triples
  • secure two-party computation
  • hardware synthesis
  • function hiding

  • URL: thomaschneider.de/pape...
  • Code
  • InternetArchive
  • Authors: D. Demmler, T. Schneider, M. Zohner

  • Add information on this software.


  • Related software:
  • TASTY
  • Frigate
  • TinyGarble
  • Obliv-C
  • FairplayMP
  • JustGarble
  • Sharemind
  • ObliVM
  • ABC
  • GitHub
  • Show more...
  • SEAL
  • MPyC
  • MP2ML
  • JIFF
  • MOTION
  • HyCC
  • EzPC
  • SAFELearn
  • CIRCT
  • FLGUARD
  • Show less...

References in zbMATH (referenced in 8 articles )

Showing results 1 to 8 of 8.
y Sorted by year (citations)

  1. Heldmann, Tim; Schneider, Thomas; Tkachenko, Oleksandr; Weinert, Christian; Yalame, Hossein: LLVM-based circuit compilation for practical secure computation (2021)
  2. Sehrawat, Vipin Singh; Yeo, Foo Yee; Desmedt, Yvo: Extremal set theory and LWE based access structure hiding verifiable secret sharing with malicious-majority and free verification (2021)
  3. Alhassan, Masaud Y.; Günther, Daniel; Kiss, Ágnes; Schneider, Thomas: Efficient and scalable universal circuits (2020)
  4. Rathee, Deevashwer; Schneider, Thomas; Shukla, K. K.: Improved multiplication triple generation over rings via RLWE-based AHE (2019)
  5. Asharov, Gilad; Lindell, Yehuda; Schneider, Thomas; Zohner, Michael: More efficient oblivious transfer extensions (2017)
  6. Büscher, Niklas; Franz, Martin; Holzer, Andreas; Veith, Helmut; Katzenbeisser, Stefan: On compiling Boolean circuits optimized for secure multi-party computation (2017)
  7. Butler, David; Aspinall, David; Gascón, Adrià: How to simulate it in Isabelle: towards formal proof for secure multi-party computation (2017)
  8. Couteau, Geoffroy; Peters, Thomas; Pointcheval, David: Encryption switching protocols (2016)

  • Article statistics & filter:

  • Search for articles
  • MSC classification / top
    • Top MSC classes
      • 68 Computer science
      • 94 Information and...

  • Publication year
    • 2010 - today
    • 2005 - 2009
    • 2000 - 2004
    • before 2000
  • Terms & Conditions
  • Imprint
  • Privacy Policy