Computer science project topics

Labeled Transition System, Partition and Graphs

Secure Enforcement for Global Process Specifications

CCSp with secret and observable actions

Wireless Computer Networking

Centrality-Based Eventual Leader Election in Dynamic Networks

Deriving Labels and Bisimilarity for CCP

The Linux kernel: large code base and collateral evolution

Recall of OBQA Problem &Approches

Modular Reasoning in a Probabilistic Process Calculus

Combinatorial structures on planar maps

RECONSTRUCTION OF THE TEMPORAL GREEN’S FUNCTION BY CORRELATION OF MONOCHROMATIC GREEN’S FUNCTIONS

HFT and asymptotics for small risk aversion in a Markov renewal model

Theory of real and algebraically closed fields

eep Inference and Nested Proof Systems

CCS! in the Chomsky Hierarchy

Managing secure inter-slice communication in 5G Network Slice Chains

Some RNS Implementations of Asymmetric Cryptosystems on FPGA from the Literature

SENS: A Sensor Environment and Network Simulator

INTELLIGENT VIRTUAL LEARNING ENVIRONMENT (IVLE)

Method Providing Steady-State Parametric Roll Amplitude at Any Speed

Chameleon: Behaviour Model and Learning Algorithm for Believable Agents