4 papers
BlockColdChain: Vaccine Cold Chain Blockchain
Ronan D. Mendonça, Otávio S. Gomes, Luiz F. M. Vieira +3
In this paper, we propose a blockchain-based cold chain technology for vaccine cooling track. The COVID-19 pandemic has caused the death of millions of people. An important step to…
Galleon: Reshaping the Square Peg of NFV
Jianfeng Wang, Tamás Lévai, Zhuojin Li +3
Software is often used for Network Functions (NFs) -- such as firewalls, NAT, deep packet inspection, and encryption -- that are applied to traffic in the network. The community ha…
Rapid Top-Down Synthesis of Large-Scale IoT Networks
Pradipta Ghosh, Jonathan Bunton, Dimitrios Pylorof +6
Advances in optimization and constraint satisfaction techniques, together with the availability of elastic computing resources, have spurred interest in large-scale network verific…
On Localizing a Camera from a Single Image
Pradipta Ghosh, Xiaochen Liu, Hang Qiu +3
Public cameras often have limited metadata describing their attributes. A key missing attribute is the precise location of the camera, using which it is possible to precisely pinpo…