SecureCheck: Access Contracts, Negotiations, and Recommendations for Data-Sharing
summary
System mediates ID checks by turning verifier demands and user preferences into access mediation contracts that list exact fields and permitted uses, compares them to find conflicts, and runs a conflict-resolution recommender that proposes compromises; agreement produces a machine-readable sharing contract the verifier can use to fetch only the allowed attributes. An early prototype implements negotiation and contract generation for physical verification events (bar ID example) and is published at ACM SATM.
AI-written summary · about
related talks
25mSecRef*: Securely Sharing Mutable References between Verified and Unverified Code in F*
12mData Trustees: A Whitelisting Approach for Trusted Data Sharing
01h 00mCooperative Verification: Towards Reliable Safety-Critical Systems
36mPolicy-Driven Supply Chain Security with Enterprise Contract
33mCNCF SIG-Security Deep Dive
30mVerifying Solidity Smart Contracts Via Communication Abstraction in SmartACE
25mImproving Safety with Privacy: An Exploration of Privacy...
32mSoftware Supply Chain Security