Search Results for author:
Found 3 papers, 0 papers with code
A Game Theoretic Analysis of Liquidity Events in Convertible Instruments
In liquidity events, investors may have the option to either receive back their principal investment, or to receive a proportional payment after conversion of the contract to a shareholding.
A Formal Treatment of Contract Signature
A number of axioms and rules of inference are developed that can be used to justify a ``meeting of the minds'' precondition for contract formation from the fact that certain content has been signed.
An Epistemic Foundation for Authentication Logics (Extended Abstract)
We present a simple logic based on the well-understood modal operators of knowledge, time, and probability, and show that it is able to handle issues that have often been swept under the rug by other approaches, while being flexible enough to capture all the higher- level security notions that appear in BAN logic.
