research
∙
04/27/2023
Proving Logical Atomicity using Lock Invariants
Logical atomicity has been widely accepted as a specification format for...
share
research
∙
04/19/2023
GeoGauss: Strongly Consistent and Light-Coordinated OLTP for Geo-Replicated SQL Database
Multinational enterprises conduct global business that has a demand for ...
research
∙
12/08/2022
A Novel Efficient Signcryption Scheme for Resource-Constrained Smart Terminals in Cyber-Physical Power Systems
Most of the existing signcryption schemes generate pseudonym by key gene...
research
∙
09/19/2019
Proof Pearl: Magic Wand as Frame
Separation logic adds two connectives to assertion languages: separating...
research
∙
07/02/2018