We construct a dataset containing thousands of funny papers and use it to learn classifiers, combining findings from psychology and linguistics with recent advances in NLP.
We assess the quality of roads and sidewalks by exploiting data from Google Street View.
Computers and Society
Raziel combines secure multi-party computation and proof-carrying code to provide privacy, correctness and verifiability guarantees for smart contracts on blockchains.
Cryptography and Security
