An Implementation of the Homa Transport Protocol in RAMCloud Yilong Li, Behnam Montazeri, John Ousterhout Introduction

Source URL: platformlab.stanford.edu

• Computing
• Information and communications technology
• Network architecture
• Network protocols
• Data transmission
• Flow control
• Error detection and correction
• Computer networking
• Transmission Control Protocol
• Packet loss
• Retransmission
• Communication protocol

Object Support in an Array-Based GPGPU Extension for Ruby Matthias Springer Hidehiko Masuhara Department of Mathematical and Computing Sciences, Tokyo Institute of Technology, Japan

Source URL: m-sp.org

• Computing
• Software engineering
• Computer programming
• Parallel computing
• Graphics hardware
• Object-oriented programming languages
• GPGPU
• Cross-platform software
• CUDA
• General-purpose computing on graphics processing units
• AOS and SOA
• Thread

An MCSAT treatment of Bit-Vectors (preliminary report) St´ephane Graham-Lengrand1,2 and Dejan Jovanovi´c1 1 2

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

• Theoretical computer science
• Boolean algebra
• Computational complexity theory
• Mathematical logic
• Formal methods
• Binary decision diagram
• Diagrams
• Model checking
• Conflict-driven clause learning
• Boolean satisfiability problem
• FO

1 Per Email an Zurich, den 8. Mai 2017

Source URL: swissfinte.ch

Succinct Malleable NIZKs and an Application to Compact Shuffles Melissa Chase Microsoft Research Redmond Markulf Kohlweiss

Source URL: smeiklej.com

• Cryptography
• Computational complexity theory
• Proof of knowledge
• Zero-knowledge proof
• FiatShamir heuristic
• Malleability
• Applied mathematics

POOR SERVICE DUE TO LACK OF AVAILABLE BRAINS – OCT 2007 SEND STUFF TO Less wailing, more gnashing Rupture believes there is an urgent

Source URL: www.randomartists.org

• Cauldron
• Witchcraft
• Squatting
• Roll Deep
• Rupture
• Human behavior
• Culture
• Land law

Following an information request from HSBC for the Common Reporting Standard ("CRS") in relation to an account holder ("Account Holder"), if you sign a CRS self-certification form and/or provide the requested information

Source URL: www.crs.hsbc.com

• Economy
• International taxation
• Finance
• Common Reporting Standard
• Organisation for Economic Co-operation and Development
• Standards
• Money
• HSBC

SIOTOME: An Edge-ISP Collaborative Architecture for IoT Security Hamed Haddadi∗ , Vassilis Christophides† , Renata Teixeira† , Kenjiro Cho‡ , Shigeya Suzuki§ , Adrian Perrig¶ ∗ Imperial College London

Source URL: www.netsec.ethz.ch

Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report Kostyantyn Vorobyov, Nikolai Kosmatov, and Julien Signoles CEA, LIST, Software Reliability and Security Laboratory, PC 174,

Source URL: julien.signoles.free.fr

• Computing
• Software engineering
• Computer programming
• Software bugs
• Software testing
• Computer network security
• Debuggers
• Common Weakness Enumeration
• Memory debugger
• Memory safety
• Application security
• Frama-C

Full version of an extended abstract published in CBTContour: A Practical System for Binary Transparency Mustafa Al-Bassam University College London

Source URL: smeiklej.com