Filetype
Digital signatures are widely deployed to authenticate the source of incoming information, or to certify data integrity. Common signature verification procedures return a decision (accept/reject) only at the very end of the execution. If interrupted prematurely, however, the verification process cannot infer any meaningful information about the validity of the given signature. We notice that this
Proximity testing is at the core of sev-eral Location-Based Services (LBS) offered by, e.g., Uber, Facebook, and BlaBlaCar, as it determines closeness to a target. Unfortunately, modern LBS demand not only that clients disclose their locations in plain, but also to trust that the services will not abuse this information. These requirements are unfounded as there are ways to perform proximity testi
Background: Magnetic resonance (MR) safety procedures are designed to allow patients, research subjects and personnel to enter the MR-scanner room under controlled conditions and without the risk to be harmed during the examination. Ferromagnetic objects in the MR-environment or inside the human body represent the main safety risks potentially leading to human injuries. Screening for MR-safety ris
The study aimed to create a pipeline from Monte Carlo simulated projections of a Gate PET system to reconstructed images. The PET system was modelled after the GE Discovery MI (DMI) PET/CT, and the simulated projections were reconstructed with the stand-alone reconstruction software CASToR. Attenuation correction, normalisation calibration, random estimation, and scatter estimation for the simulat
