research
∙
07/27/2022
Kempe equivalence of almost bipartite graphs
Two vertex colorings of a graph are Kempe equivalent if they can be tran...
share
research
∙
06/03/2022
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption
In many Internet of Things (IoT) applications, data sensed by an IoT dev...
research
∙
05/08/2022
Cover time of graphs with bounded genus
The cover time of a finite connected graph is the expected number of ste...
research
∙
05/05/2021
The ratio of the numbers of odd and even cycles in outerplanar graphs
In this paper, we investigate the ratio of the numbers of odd and even c...
research
∙
12/11/2020
Rainbow Perfect and Near-Perfect Matchings in Complete Graphs with Edges Colored by Circular Distance
Given an edge-colored complete graph K_n on n vertices, a perfect (respe...
research
∙
10/19/2020
Virtual Secure Platform: A Five-Stage Pipeline Processor over TFHE
We present Virtual Secure Platform (VSP), the first comprehensive platfo...
research
∙
02/25/2020
Feedback game on 3-chromatic Eulerian triangulations of surfaces
In this paper, we study the feedback game on 3-chromatic Eulerian triang...
research
∙
02/21/2020
