Universal Composability Proving the Correctness of Blockchain Protocols Abhiram Kothapalli

Source URL: abhiram.me

On Schedulability and Time Composability of Data Aggregation Networks Fatemeh Saremi∗ , Praveen Jayachandran† , Forrest Iandola∗ , Md Yusuf Sarwar Uddin∗ , Tarek Abdelzaher∗ , and Aylin Yener‡ ∗ Department

Source URL: www.forrestiandola.com

Probabilistic Termination and Composability of Cryptographic Protocols∗ Ran Cohen† Sandro Coretti‡

Source URL: eprint.iacr.org

Composable Architecture for Rack Scale Big Data Computing Chung-Sheng Li1, Hubertus Franke1, Colin Parris2, Bulent Abali1, Mukil Kesavan3, Victor Chang4 1. IBM Thomas J. Watson Research Center, Yorktown Heights, NY 1059

Source URL: eprints.soton.ac.uk

• Computing
• Computer hardware
• Computer performance
• Computer storage media
• Non-volatile memory
• Solid-state drive
• Composability
• Hyper-V
• IOPS
• Storage area network
• Apache Hadoop
• Direct memory access

Systematizing Secure Computation for Research and Decision Support Jason Perry1 , Debayan Gupta2 , Joan Feigenbaum2 and Rebecca N. Wright1 1

Source URL: work.debayangupta.com

• Cryptography
• Secure multi-party computation
• Secret sharing
• Public-key cryptography
• Universal composability
• Communications protocol
• Cryptographic protocol
• Cartesian coordinate system
• Transmission Control Protocol
• Secure two-party computation

Messaging Metadatarouting patterns*

Source URL: www.soaschool.com

• Enterprise application integration
• Software engineering
• Computing
• Information technology management
• Service loose coupling principle
• Event-Driven Messaging
• Service-oriented architecture
• Enterprise service bus
• Architectural pattern
• Service composability principle
• Service-oriented
• Standardized service contract

An Environment for Dynamic Component Composition for Efficient Co-Design

Source URL: mesl.ucsd.edu

• Electronic engineering
• Electronic design automation
• Digital electronics
• SystemC
• Electronic system-level design and verification
• Embedded system
• Composability
• Transaction-level modeling
• VisualSim Architect

Opaleye Haskell Embedded Relational Query Language Tom Ellis 10th January 2013 Tables

Source URL: staff.fnwi.uva.nl

• Wire
• Composability

LNCSPractical Private Information Aggregation in Large Networks

Source URL: www.nada.kth.se

• Public-key cryptography
• Cryptography
• Secret sharing
• Homeomorphisms
• Homomorphic encryption
• Cryptographic protocol
• Digital signature
• Communications protocol
• Secure multi-party computation
• Universal composability

SmartSoft SmartMDSD Open Source Integrated Model-Driven Development Environment for Robotics Software

Source URL: www.servicerobotik-ulm.de

• Toolchain
• Component-based software engineering
• Robotics
• Composability