Meta-inferences and Supervaluationism
Sign Up to like & getrecommendations! Published in 2021 at "Journal of Philosophical Logic"
DOI: 10.1007/s10992-021-09618-4
Abstract: Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions… read more here.
Keywords: supervaluationism; meta inferences; proof system; meta ... See more keywords
Smooth Hash Proof System Based on the Learning With Errors Problem With Multi-Bit Key Output
Sign Up to like & getrecommendations! Published in 2019 at "IEEE Access"
DOI: 10.1109/access.2019.2945569
Abstract: Since hash proof system (HPS) can be utilized to build versatilely cryptographic schemes, the study on realizing this cryptographic primitive has been a very active research area. With the increasing concerns on the huge progress… read more here.
Keywords: bit key; proof system; based learning; lattice based ... See more keywords
Anonymous and Updatable Identity-Based Hash Proof System
Sign Up to like & getrecommendations! Published in 2019 at "IEEE Systems Journal"
DOI: 10.1109/jsyst.2018.2878215
Abstract: In EUROCRYPT 2002, Alwen et al. demonstrated that an identity-based hash proof system (IB-HPS) can be used to generate an identity-based encryption (IBE) scheme, which is secure against partial leakage of the decryption key of the… read more here.
Keywords: based hash; proof system; identity; hash proof ... See more keywords