Non-signaling proofs, motivated by quantum computation, have found applications in cryptography and hardness of approximation. An important open problem is characterizing the power of no-signaling ...
Integrity proofs insertion patch to Linux Audit logs. The Linux Audit subsystem provides a secure logging framework that is used to capture and record security relevant events. It consists of a kernel ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback