Project topics materials

From Model Checking to Security Testing 

SemanticWeb of Things (SWoT) & Related Research fields 

Making Social and Popularity-based Tag Recommendations 

On Anomaly Ranking and Excess-Mass Curves 

Feature extraction from basis vectors using lines properties

Spatial Coupling for Distributed Storage and Diversity Applications

Delocalization of environmental impacts on human health due to global value chains 

Integrating Legacy Building Automation Systems in the Web of Buildings

Advanced Signal Processing and Coding Techniques for Optical Communications 

Hybrid fault-tolerant S-Boxes

Fairness and interaction between network coding and TCP 

Access Mechanisms to IEEE 802.11 WiFi Networks and Their Analytical Model 

Consistency of the MLE for the Class of Fully Dominated Markov Chains 

Testing project sustainability under climate change and transboundary scenarios

STRATEGY GAME FOR FLOW/INTERFACE ASSOCIATION IN MULTI-INTERFACE MOBILE TERMINALS

Dual-Rail with Precharge Logic as a Global Countermeasure against Implementation-Level Attacks

Standard Maximum Likelihood Estimator for Blind Classification in Frequency- Selective Channels

Proposal to Locate Application Layer Anomalies in an Enterprise Environment

Content cache and forward mechanisms in mobile networks

Efficient Wireless Broadcasting with Network Coding 

An abstract language for separation logic