2 papers
cs.CR2023
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version)
Toby Murray, Mukesh Tiwari, Gidon Ernst +1
We consider the problem of specifying and proving the security of non-trivial, concurrent programs that intentionally leak information. We present a method that decomposes the prob…
cond-mat.mes-hall2017
Energy Exchange Calculations in a Simple Mechanical System to Investigate the Origin of Friction
Maria Lujan Iglesias, Sebastian Goncalves, V. M. Kenkre +1
The microscopic origin of friction is an important topic in science and technology. To date, noteworthy aspects of it remain unsolved. In an effort to shed some light on the possib…