Distributed and Secure Software (DistriNet) KU Leuven
Distributed and Secure Software (DistriNet)
Distributed and Secure Software (DistriNet)
MSEC-DistriNet is active in the domain of distributed applications with a major focus on software security technologies and software for next-generation Internet-of-Things environments. Research focuses on the design, development and analysis of advanced applications and software ecosystems, while closing the gap between academic research and industrial applications. The research group has gained expertise in many key technologies in the ...
Research Group Computer Security and Industrial Cryptography
The COSIC research group offers a broad expertise in cybersecurity; based on this know-how it develops innovative security solutions that take into account both privacy and usability.
The COSIC research focuses on the design, evaluation and implementation of cryptographic algorithms and protocols, the development of security architectures for information and ...
The LICT Center bundles the complementary expertise of (electronic) engineers, computer scientists, sociologists and law experts all active in the area of ICT, being it hardware, software, or related legal and social aspects.
The research activities of the center can be classified in 8 research lines.
- Analog, Mixed-Signal & RF building blocks
- Circuits & Systems for Sensing & Communications
- ...
Research Group Computer Security and Industrial Cryptography
The COSIC research group offers a broad expertise in cybersecurity; based on this know-how it develops innovative security solutions that take into account both privacy and usability.
The COSIC research focuses on the design, evaluation and implementation of cryptographic algorithms and protocols, the development of security architectures for information and ...
The interest of the research unit is in optimal location problems, i.e. any question calling for the determination of the position of some objects in an optimal way with respect to the position of other fixed objects they will interact with. Such problems arise in regional and urban planning, private and public sector management, facility layout, production planning, supply chain management, statistics, data analysis, etc. The main emphasis ...
The Department of Computer Science consists of five units. Four of these are spread across eight locations in Flanders, with the focal point in Leuven at the Arenberg Campus: Distributed and Secure Software (DistriNet), Declarative Languages and Artificial Intelligence (DTAI), Human-Computer Interaction (HCI), and Numerical Analysis and Applied Mathematics (NUMA). The fifth unit is located at the Kulak Kortrijk Campus ...
- Study of declarative programming languages (logic & functional) and their applications. - Efficient implementation of declarative programming languages. - Development tools for declarative programming languages, incl. tools for program analysis, verification and transformation & tools based on abstract interpretation. - Knowledge representation & reasoning in logic programming, representation of open knowledge domains, ...