In this work we present secure two-party protocols for various core problems in linear algebra. Our main result is a protocol to obliviously decide singularity of an encrypted matr...
Hacking, tinkering, DIY, and crafts are increasingly popular forms of leisure that have also become growing sites of study in HCI. In this work we take a wide view of the similari...
We present a framework for learning object representations for fast recognition of a large number of different objects. Rather than learning and storing feature representations s...
It is well-known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of l...
Patricia M. Hill, Enea Zaffanella, Roberto Bagnara
We consider trails to be a document type of growing importance, authored in abundance as locative technologies become embedded in mobile devices carried by billions of humans. As ...