Bioenergetics-based modeling of Plasmodium falciparum metabolism reveals its essential genes, nutritional requirements, and thermodynamic bottlenecks.

Novel antimalarial therapies are urgently needed for the fight against drug-resistant parasites.The metabolism of malaria parasites in infected cells is an attractive source of drug targets but is rather complex.Computational methods can handle this complexity and allow integrative analyses of cell metabolism.In this study, we present a genome-scal

read more


A model checking-based security analysis framework for IoT systems

IoT systems are revolutionizing our life by providing ubiquitous computing, inter-connectivity, and automated control.However, the increasing system complexity poses huge challenges for security as IoT devices are distributed, highly heterogeneous, and can directly interact with the physical environment.In IoT systems, bugs in device firmware, defe

read more