Galois (United States)

Compiling embedded languages

Conal Elliott, SIGBJRN FINNE, Oege de Moor · Journal of Functional Programming · 2003 · 145 citations · Full text

Engineering, Intensive Domain, Compiler Technology +18

An Image-Free Opto-Mechanical System for Creating Virtual Environments and Imaging Neuronal Activity in Freely Moving Caenorhabditis elegans

Serge Faumont, Gary Rondeau, Tod R. Thiele et al. · PLoS ONE · 2011 · 136 citations · Full text

Virtual Environments, Neural Recoding, Neurotransmission +22

From Keys to Databases—Real-World Applications of Secure Multi-Party Computation

David W. Archer, Dan Bogdanov, Yehuda Lindell et al. · The Computer Journal · 2018 · 124 citations · Full text

Fast and secure global payments with Stellar

Marta Lokhava, Giuliano Losa, David Mazières et al. · 2019 · 107 citations

Blockchain Consensus Protocol, Fintech, Engineering +15

What Else is Revealed by Order-Revealing Encryption?

F. Betül Durak, Thomas Dubuisson, David M. Cash · 2016 · 104 citations · Full text

Engineering, Dataset Characteristics, Information Security +18