Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient

Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com

• Knowledge representation
• Computing
• Data
• Information science
• Semantic Web
• Data management
• Technical communication
• Simple Knowledge Organization System
• Open data
• Geographic information system
• Data transformation
• Resource Description Framework

Efficient Development of Consistent Projectional Editors using Grammar Cells Markus Voelter Tam´as Szab´o Sascha Lisson

Source URL: mbeddr.com

• Software engineering
• Computing
• Computer programming
• Compiler construction
• Parsing
• Operator associativity
• Structure editor
• Parse tree
• Syntax
• Compiler-compiler
• Tree
• Rope

Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg

Source URL: smt-workshop.cs.uiowa.edu

• Software engineering
• Computer programming
• Computing
• Interpolation
• Video
• Video signal
• Craig interpolation
• Pure
• Foreach loop

Bloom Filter Encryption and Applications to Efficient Forward-Secret 0-RTT Key Exchange David Derler1 , Kai Gellert2 , Tibor Jager2 , Daniel Slamanig3 , and Christoph Striecks3 1 Graz University of Technology

Source URL: eprint.iacr.org

• Cryptography
• Public-key cryptography
• Ciphertext indistinguishability
• ID-based encryption
• Chosen-plaintext attack
• RSA
• Ciphertext
• Proxy re-encryption
• Homomorphic encryption
• XTR
• Key encapsulation
• Semantic security

Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ †

Source URL: www.pepper-project.org

Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient

Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com

• Computing
• Software engineering
• Information and communications technology
• Data visualization
• Information technology governance
• Visualization
• Multitier architecture
• Mobile app development
• Cloud computing

Bloom Filter Encryption and Applications to Efficient Forward-Secret 0-RTT Key Exchange David Derler‡ , Tibor Jagerk , Daniel Slamanig§ , Christoph Striecks§ May 3, 2018—Eurocrypt 2018, Tel Aviv, Israel

Source URL: david.derler.info

• Cryptography
• Computing
• Internet
• Internet protocols
• Public-key cryptography
• Transport Layer Security
• Secure communication
• Cryptographic protocols
• QUIC
• Transmission Control Protocol
• Forward secrecy

Efficient E-matching for SMT Solvers Leonardo de Moura, Nikolaj Bjørner Microsoft Research, Redmond

Source URL: www.lsi.upc.edu

• Computer programming
• Software engineering
• Combinatorial optimization
• Matching
• Monad
• Conditional

1 Safe, Efficient and Robust SDN Updates by Combining Rule Replacements and Additions Stefano Vissicchio, Luca Cittadini

Source URL: www0.cs.ucl.ac.uk

• Fabriscale is a user friendly and reliable fabric manager for InfiniBand • Will ensure more efficient operation of data centers and clusters

Source URL: hpcadvisorycouncil.com

• Network architecture
• Computing
• Internet architecture
• Computer architecture
• Network topology
• Local area networks
• Routing
• Network switch
• Computer network
• Software-defined networking
• Virtual LAN
• Fat tree