Research and Tech Reports - Computer Science

Browse by

Recent Additions

This paper proposes a logic for programming languages, which is both simple and expressive, to serve as a foundation for language semantics frameworks. Matching mu-logic has been recently proposed as a unifying foundation ...

This paper proposes IELE, an LLVM-style language, together with a tool ecosystem for implementing and formally reasoning about smart contracts on the blockchain. IELE was designed by specifying its semantics formally in ...

Dynamic charging is an emerging technology that
allows an electric vehicle (EV) to charge its battery while moving
along the road. Dynamic charging charges the EV’s battery
through magnetic induction between the receiving ...

The Supervisory Control and Data Acquisition
(SCADA) system is the most commonly used industrial control
system but is subject to a wide range of serious threats. Intrusion
detection systems are deployed to promote the ...