A common client-side countermeasure against Cross Site Request Forgery (CSRF) is to strip session and authentication information from malicious requests. The difficulty however is ...
Philippe De Ryck, Lieven Desmet, Wouter Joosen, Fr...
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
Alberto Griggio, Quoc-Sang Phan, Roberto Sebastian...
Software available at http://disi.unitn.it/~uijlings or http://koen.me/research/
For object recognition, the current state-of-the-art is based on exhaustive search. However, to ...
—Spinal cord analysis is an important problem in the study of various neurological diseases. Current segmentation and analysis methods in clinical use are slow and laborintensive...
Chris McIntosh, Ghassan Hamarneh, Matthew Toom, Ro...
We describe Charm, an extensible framework designed for rapid prototyping of cryptographic systems that utilize the latest advances in cryptography, such as identity and attribute...