Login / Signup
Jack Sun
ORCID
Publication Activity (10 Years)
Years Active: 2011-2023
Publications (10 Years): 1
Top Topics
Integrity Checking
Reasoning Mechanisms
Web Search Engines
Fault Tolerant
Top Venues
ACM Trans. Storage
Sensors
ISWC (Posters & Demos)
FAST
</>
Publications
</>
Weiyan Xu
,
Jack Sun
,
Rachel Cardell-Oliver
,
Ajmal Mian
,
Jin B. Hong
A Privacy-Preserving Framework Using Homomorphic Encryption for Smart Metering Systems.
Sensors
23 (10) (2023)
Daniel Fryer
,
Mike Dai Qin
,
Jack Sun
,
Kah Wai Lee
,
Angela Demke Brown
,
Ashvin Goel
Checking the Integrity of Transactional Mechanisms.
ACM Trans. Storage
10 (4) (2014)
Daniel Fryer
,
Dai Qin
,
Jack Sun
,
Kah Wai Lee
,
Angela Demke Brown
,
Ashvin Goel
Checking the integrity of transactional mechanisms.
FAST
(2014)
Jack Sun
,
Franky
,
Kenny Q. Zhu
,
Haixun Wang
Query Suggestion by Concept Instantiation.
ISWC (Posters & Demos)
(2013)
Jack Sun
,
Daniel Fryer
,
Ashvin Goel
,
Angela Demke Brown
Using declarative invariants for protecting file-system integrity.
PLOS@SOSP
(2011)
Jan M. Rabaey
,
Hugo De Man
,
Mark Horowitz
,
Takayasu Sakurai
,
Jack Sun
,
Dan Dobberpuhl
,
Kiyoo Itoh
,
Philippe Magarshack
,
Asad A. Abidi
,
Hermann Eul
Beyond the horizon: The next 10x reduction in power - Challenges and solutions.
ISSCC
(2011)