جست‌وجوی استاد و پژوهشگر

• Network Security
• Android Security
• Malware Analysis
• +۶ مورد دیگر

Vijay Laxmi is a Professor in the Department of Computer Science and Engineering at Malaviya National Institute of Technology (MNIT) Jaipur, India. With over a decade of active research publication from 2014-2024, Dr. Laxmi has established themselves as a prominent researcher in network security, Android security systems, and Network-on-Chip architectures. Their work demonstrates consistent collaboration with Manoj Singh Gaur and numerous doctoral students at MNIT Jaipur. Dr. Laxmi's research interests span Network Security, Android Security, Malware Analysis, Network-on-Chip Architectures, Routing Protocols, Side-Channel Attacks, Wireless Networks, and Mobile Security. Their work bridges theoretical security frameworks with practical implementations, particularly in mobile and embedded systems. Recent publications indicate a growing focus on AI-based security approaches including GAN applications for fuzzing and deep learning for image dehazing. The research trajectory shows increasing sophistication in security analysis techniques, evolving from basic malware detection to advanced side-channel attack analysis and sophisticated network security protocols. Recent publications demonstrate expertise in both theoretical frameworks and practical implementations with applications in real-world security challenges. Dr. Laxmi has mentored numerous graduate students including Vineeta Jain, Anugrah Jain, Sonal Yadav, Mohit Singh, and Gaurav Singal, who appear as co-authors across multiple publications. Their collaborative network extends to researchers at international institutions, indicating strong academic connections beyond their home institution.

• Database Systems
• Data Management
• GPU Acceleration
• +۶ مورد دیگر

Anastasia Ailamaki is a Professor at the Swiss Federal Institute of Technology in Lausanne (EPFL), renowned for her work in database systems and data management . Her research focuses on optimizing query processing for modern hardware, particularly GPUs and heterogeneous systems, and advancing cloud data analytics with serverless architectures like PixelDB . She has co-authored influential frameworks for adaptive query optimization , hardware-conscious database engines , and model-relational data management . Key research areas: GPU acceleration , HTAP , query approximation , spatial data processing , and cloud-native databases . Recent work emphasizes cross-task optimizations in distributed environments, efficient sampling , and context-aware joins integrating vector embeddings. In 2023, she contributed to adaptive recursive query optimization and speculative K-means clustering, while 2024 publications addressed proportional caching (HPCache) and model-relational systems . Her collaborations span institutions such as MIT, Microsoft, and ETH Zurich, with publications in top venues like SIGMOD , VLDB , and ICDE .

Oliver Hohlfeldمشاهده پروفایل

استاد

• Network Security
• Network Measurements
• Internet Architecture
• +۹ مورد دیگر

Oliver Hohlfeld is a Professor at the University of Kassel, where he leads the Distributed Systems group. He previously held academic positions at Brandenburg University of Technology and RWTH Aachen University, and was a visiting scholar at the University of Wisconsin–Madison. His research focuses on network security, Internet measurements, and Quality of Experience (QoE). He completed his Ph.D. in Computer Science at TU Berlin under Anja Feldmann and holds a B.Sc. and M.Sc. from Darmstadt University of Technology. He also worked at Fraunhofer IGD on telemedical network architectures. His research adopts a data-driven approach, combining large-scale Internet measurements, user studies, and machine learning to understand and improve Internet performance and security. Key areas include DDoS detection, QUIC, HTTP/2, TLS deployment, and BGP analysis. He investigates how protocols like QUIC and HTTP/2 impact user experience and network efficiency, often through empirical studies of real-world deployments. His recent publications highlight a strong trend in network security and protocol analysis, with significant work on DDoS attacks, traffic ingress detection, and web consolidation. He also explores social media dynamics and censorship circumvention through user reviews. 2022 IETF/IRTF Applied Networking Research Prize Best of CCR (2021) for TLS 1.3 deployment study ACM Senior Member (2020) IEEE QoMEX 2019 Best Reviewer Award ACM IMC Community Contribution Award (2018) He has advised numerous Master’s and Bachelor’s students, primarily at RWTH Aachen, and has been a principal investigator in major projects such as AIDOS (AI-based DDoS mitigation), DFG SFB MAKI, COMTEX, and the EU-funded SSICLOPS. He actively serves on the technical program committees of top-tier conferences including SIGCOMM, NSDI, IMC, and CoNEXT, and is a frequent reviewer for leading journals in networking and systems. He leads the Distributed Systems group at the University of Kassel, which conducts research on Internet observability, secure infrastructures, and scalable networking solutions.

Nils Ole Tippenhauerمشاهده پروفایل

استاد

• Cyber-Physical System Security
• Industrial Control Systems Security
• Physical-Layer Security
• +۷ مورد دیگر

Nils Ole Tippenhauer is a faculty member at the CISPA Helmholtz Center for Information Security , leading the SCy-Phy research group . His academic journey includes an Assistant Professorship at the Singapore University of Technology and Design (SUTD) (2014–2018), a PhD in Computer Science from ETH Zurich (2012), and a Diploma in Computer Engineering from Hamburg University of Technology (2007). He also holds an exchange study year at the University of Waterloo (2004–2005) supported by a DAAD scholarship. Research Interests focus on practical systems security , particularly Security of Cyber-Physical Systems Industrial Control Systems (ICS) and Industrial IoT (IIoT) Physical-Layer Security and Wireless Security Privacy-Preserving Technologies (e.g., DP3T project) Embedded Systems Security Threat Detection & Defenses His work integrates both theoretical and applied approaches, addressing vulnerabilities in critical infrastructures like water systems and power grids. Recent Publications highlight trends in Anomaly detection evasion in industrial networks Microarchitectural side-channel defenses Localization techniques in cellular networks Security analysis of ICS protocols Data-driven vulnerability assessments for robotics Cyber-physical simulation for infrastructure security Scientific Awards include Best paper at DIMVA'23 Distinguished Paper at ACSAC 2022 Best paper at CPSIOTSEC 2022 Best paper at CPSS 2017 K-H Ditze Award for diploma thesis (2007) SG Mark Institution award (2016) Runner-Up at smart energy hackathon (2013) Advising and Grants feature PhD defenses of Daniele Antonioli and Hamid Reza Ghaeini (2022), co-organizing conferences like WiSec and CPSS , and leading projects such as the National Science Experiment (NSE) with 50,000 mobile sensors in Singapore. He also contributed to the DP3T project for privacy-preserving contact tracing. Labs and Teams include the SCy-Phy research group at CISPA and the development of testbeds like SWaT (Secure Water Treatment), WADI (Water Distribution), and EPIC (Electric Power and Industrial Control) at SUTD. These platforms enable hands-on security research in realistic industrial environments.

Christian Rossowمشاهده پروفایل

استاد

• Software Security
• System Security
• Network Security
• +۱۵ مورد دیگر

Christian Rossow is Faculty at CISPA – Helmholtz Center for Information Security in Dortmund, Germany, where he leads the System Security research group. He holds dual academic appointments as a professor in the Computer Science department at Saarland University and as an honorary professor at TU Dortmund University. His research spans systems, software, and network security, with a focus on cyber attacks, defenses, and privacy. Research Interests: His primary research areas include software and system security (e.g., exploitation techniques, compiler-assisted defenses, AI-assisted (in)security), network security (e.g., DDoS mitigation, attack attribution, traffic analysis), and cybercrime (e.g., malware analysis, data-driven studies). He emphasizes foundational research with practical applications. Publication Trends: His recent work (2023–2025) shows a strong focus on microarchitectural attacks (e.g., cache side-channels, prefetcher analysis), browser and web security (e.g., sandbox escapes, CSS fingerprinting), network protocol vulnerabilities (e.g., TCP spoofing, infinite loops), and applied cryptography (e.g., ISA extensions for key management). His research consistently targets top-tier venues like IEEE S&P, USENIX Security, ACM CCS, and NDSS. Distinguished Paper Award at IEEE EuroS&P 2021 Best Student Paper Award at MIT Spam Conference 2010 Advising and Grants: He actively supervises PhD students and postdoctoral researchers, with alumni placed in industry (NVIDIA, Crowdstrike, Continental) and academia. His research is supported by major grants including EU H2020 SISSDEN, BMBF-funded BOB, DFG-funded anonymous communication, and RAMSES. He regularly serves in leadership roles in the community, including PC Chair for RAID 2022/2023 and USENIX WOOT 2018, and Track Chair for ACM CCS 2026. Labs and Teams: He leads the System Security research group at CISPA, a world-leading institution for security and privacy. The group comprises talented full-time researchers and focuses on cutting-edge research with strong individual supervision and worldwide collaborations.

• Embedded Systems
• Real-Time Systems
• Cyber-Physical Systems
• +۷ مورد دیگر

Marco Caccamo is a Professor at the Technical University of Munich (TUM) , holding the Chair of Cyber-Physical Systems in Production Engineering within the Faculty of Mechanical Engineering. He is also a Principal Investigator and Professor at the Department of Computer Science, with courtesy appointments in Electrical and Computer Engineering, Coordinated Science Lab (CSL), and Aerospace Engineering at the University of Illinois at Urbana-Champaign (UIUC). His research spans Embedded Systems , Real-Time Systems , and Cyber-Physical Systems (CPS) , focusing on resource management, reinforcement learning architectures, and 6D pose recognition for robotics. University of Pisa (B.Sc., 1997) Scuola Superiore Sant'Anna (Ph.D., 2002) Research highlights include predictable resource management on heterogeneous platforms, security frameworks for AI-based controllers , and UAV testbed development . His work integrates deep learning and real-time constraints in industrial applications like avionics, farming, and automotive systems. His 15 most recent publications emphasize cache optimization , memory bandwidth regulation , and reinforcement learning for CPS , with a focus on multi-core processors and DNN inference . Awards include the IEEE Fellow (2018), Alexander von Humboldt Professorship (2018), and multiple Best Paper Awards at RTSS, RTNS, and RTAS. NSF CAREER Award (2003) IEEE Fellow (2018) Alexander von Humboldt Professorship (2018) Best Paper Awards (RTSS 2024, RTNS 2023, ECRTS 2019) He has advised numerous Ph.D. students and postdocs, with a track record in UAV development and industrial collaborations . His lab, the Real-Time and Embedded System Laboratory , focuses on real-time OS and predictable computing .

Muhammad Ali Gulzarمشاهده پروفایل

استادیار

• Fault Localization
• Big Data systems
• Data Intensive scalable computing
• +۵ مورد دیگر

Muhammad Ali Gulzar is an Assistant Professor in the Computer Science Department at Virginia Tech and an Amazon Scholar at Amazon Web Services. His research focuses on improving developer productivity through automated debugging and testing for applications in emerging domains, including data-intensive software such as dataflow programs, ML/AI applications, and computational notebooks. Education Ph.D. in Computer Science from University of California, Los Angeles (Google Ph.D. Fellow 2017-2020) Research Interests Gulzar's research spans three primary areas: (1) automated tracking-code localization techniques in web applications, (2) re-engineering testing and debugging for data-intensive applications, and (3) advancing current testing and debugging practices in Federated Learning Applications. His work addresses the challenges of debugging in complex systems where traditional approaches fail due to the scale and distributed nature of modern applications. His research has significant implications for improving software quality, developer productivity, and accessibility in web applications. Research Trends Recent publications demonstrate a strong focus on debugging and testing challenges in emerging application domains. His work bridges traditional software engineering with machine learning, data-intensive systems, and web technologies. Notably, he has made significant contributions to Federated Learning debugging (FedDebug), accessibility challenges in ad-driven web applications, and semantic caching for Large Language Models. His approach often combines novel algorithmic insights with practical implementations that address real-world challenges in software development and maintenance. Scientific Awards Google Ph.D. Fellow (2017-2020) $1.1 million NSF award for Federated Learning research ACM CCS 2024 Distinguished Artifact Award Advising and Grants Gulzar leads a productive research group with multiple students contributing to publications in top-tier venues. His NSF-funded research on Federated Learning demonstrates his ability to secure competitive funding for innovative projects. His advising style appears to emphasize practical impact alongside theoretical contributions, with students often taking lead roles in publications. Current research directions include debugging techniques for Large Language Models, accessibility challenges in modern web applications, and novel testing approaches for distributed data processing systems.

Andrea Bastoniمشاهده پروفایل

پژوهشگر ارشد

• Real-Time Systems
• Cyber-Physical Systems
• Operating System Design
• +۵ مورد دیگر

Dr. Andrea Bastoni is a Postdoctoral Researcher and Research Fellow at the Chair of Cyber-Physical Systems in Production Engineering at Technical University of Munich (TUM), Faculty of Mechanical Engineering. He is also the CTO and co-founder of Minerva Systems , developing operating system solutions for AI-ready embedded applications. His expertise spans real-time operating systems, cyber-physical systems, and predictable system design for heterogeneous platforms. His research focuses on enhancing predictability of memory hierarchies in complex SoCs through techniques like memory bandwidth regulation and cache partitioning. This work has industrial applications in safety-critical domains such as avionics and railways, where he contributes to certifiable hypervisors and operating systems. As former Software Architect of the PikeOS hypervisor at SYSGO GmbH (2012-2020), he specialized in DO-178C, IEC 61508, and EN 50128 standards. His academic background includes a Ph.D. in Computer Engineering from the University of Rome Tor Vergata (2007-2011), where he developed LITMUS^RT as part of UNC's Real-Time Systems Group during a visiting researcher period (2009-2010). His publications reflect ongoing work on Multicore Real-Time Scheduling , Mixed-Criticality Task Isolation, and Arm DynamIQ shared unit analysis. He actively participates in program committees for conferences like RTSS, DSN, and DATE.

Daniel Großeمشاهده پروفایل

استاد

• Formal Verification
• Hardware Verification
• Electronic Design Automation
• +۳ مورد دیگر

Prof. Daniel Große serves as Professor at the Institute for Complex Systems (ICS) within Johannes Kepler University Linz, Austria, while maintaining a dual affiliation with the German Research Center for Artificial Intelligence (DFKI) in Bremen. His research centers on Electronic Design Automation (EDA), specializing in verification, debugging, and synthesis of complex hardware/software systems through advanced virtual prototyping techniques. His primary research domains include Formal Verification , Hardware Verification , and Virtual Prototyping , with significant contributions to RISC-V architecture development and embedded systems validation. Current projects like PaSVer (automotive electronics), AUTOASSERT (analog-digital verification), and VerSys (RISC-V software platforms) demonstrate his focus on bridging simulation and formal methods for safety-critical applications. Recent publications reveal accelerating trends in metamorphic testing for embedded graphics libraries and RISC-V vector extensions, alongside innovations in waveform analysis tools like Surfer. His work increasingly integrates AI-assisted verification while maintaining rigorous formal methods foundations. Prof. Große actively supervises student research, having guided Lucas Klemmer's PhD thesis and nine Bachelor theses on topics ranging from RISC-V processor design to transaction visualization. His projects including SATiSFy (autonomous vehicle security) and CONVERS (complex system design automation) secure substantial research funding from academic and industry partners. He leads the Institute for Complex Systems' development of open-source tools such as RISC-V VP++ and contributes to international standards through program committee roles at DATE, ICCAD, and RISC-V Summit Europe.

• Reconfigurable Computing
• FPGA Architectures
• Hardware Acceleration
• +۱ مورد دیگر

Prof. Dr. Andreas Koch leads research on reconfigurable computing at TU Darmstadt, focusing on FPGA-based acceleration, heterogeneous architectures, and hardware/software co-design for database systems and embedded applications.

Gero Mühlمشاهده پروفایل

استاد

• Distributed systems
• Distributed algorithms
• Event-based systems
• +۷ مورد دیگر

Prof. Dr.-Ing. habil. Gero Mühl is a W2-Professor at the University of Rostock, where he holds the chair for "Architecture of Application Systems" since October 2009. His academic journey includes positions as a Heisenberg Fellow at the Technical University of Berlin (2009), postdoctoral research at TU Berlin (2002-2009), and doctoral studies at TU Darmstadt where he received his Dr.-Ing. degree with distinction in 2002. He completed dual Diplomas in Computer Science (Dipl.-Inform.) and Electrical Engineering (Dipl.-Ing.) from FernUniversität in Hagen in 1998. Prof. Mühl's research focuses on Self-Organizing Distributed Systems , with particular expertise in distributed systems, distributed algorithms, event-based systems, middleware, energy-efficient systems, organic computing, sensor networks, web services, and electronic commerce. His work bridges theoretical foundations with practical implementations in real-world distributed environments. His recent publications show a strong trend toward time-sensitive networking, content-based publish/subscribe systems, and P4 programmable data planes. These works address critical challenges in industrial communication, real-time systems, and network reliability. His research group has made significant contributions to making distributed systems more autonomous, reliable, and efficient. Scientific awards and recognitions include: Nomination for the Berlin Science Award for Young Scientists (2008) Heisenberg Fellowship by the German Research Foundation (DFG) (2008) Best paper award in System Software and Security at SAC 2015 Prof. Mühl has been actively involved in numerous research projects and collaborations, particularly focusing on self-organizing and self-stabilizing systems. His work on the REBECA publish/subscribe middleware represents a significant contribution to autonomous distributed systems. He has supervised numerous students and researchers, contributing to the development of the next generation of computer scientists specializing in distributed systems. His laboratory at the University of Rostock focuses on practical implementations of self-organizing distributed systems, with current projects investigating time-sensitive networking, publish/subscribe systems, and energy-efficient distributed computing. The team combines theoretical analysis with practical system development to address real-world challenges in industrial and commercial applications of distributed systems.

Heiko Falkمشاهده پروفایل

استاد

• Real-Time Systems
• Embedded Systems
• Compiler Optimization
• +۴ مورد دیگر

Heiko Falk is a Professor and Head of the Institute of Embedded Systems at Technische Universität Hamburg (TUHH). His roles include serving as Workshop Chair for the 2024 Embedded Systems Week (ESWEEK), Scientific Coordinator for the B.Sc. and M.Sc. Computer Science programs, and Deputy Head of the Board of Examiners for Computer Science and Engineering. His research focuses on real-time systems, compiler optimizations, and worst-case execution time (WCET) analysis. Key areas include multi-core architectures, cache management, energy efficiency, and hardware/software co-design. Falk's work emphasizes practical compiler techniques for improving real-time performance, such as WCET-aware memory allocation, dynamic SPM optimization, and event-driven scheduling. His publications analyze shared cache interference, preemptive/non-preemptive scheduling, and DMA-aware optimizations. Recent work explores multi-objective trade-offs between WCET, energy consumption, and code size in embedded systems. No scientific awards are explicitly listed, but his contributions to WCET benchmarking (e.g., haRTStone project) and compiler frameworks demonstrate significant impact in the field. Advising and grants: No formal advisees are listed in the provided texts. Falk's work is supported through projects like teamplay, focusing on cyber-physical systems optimization. Labs/Teams: His group operates within TUHH's Institute of Embedded Systems, collaborating on projects addressing real-time system challenges in multi-core environments.

Yingfei Xiongمشاهده پروفایل

دانشیار

• Software Engineering
• Programming Languages

Yingfei Xiong is an active Associate Professor at Peking University, China, specializing in software engineering and programming languages. With a consistent research trajectory from 2013 through 2026, Xiong has established themselves as a prominent figure in the software engineering research community, regularly contributing to top-tier conferences including SPLASH, ICSE, ASE, and PLDI. Dr. Xiong's research primarily focuses on program synthesis, automated program repair, and software analysis techniques. Their work bridges theoretical programming language concepts with practical software engineering applications, particularly in developing novel approaches for code generation, bug fixing, and program optimization. The research demonstrates strong interdisciplinary connections between traditional software engineering, programming languages theory, and emerging AI techniques. Analysis of Xiong's publication trends reveals a clear evolution in research focus, beginning with foundational work in API transformations and program adaptation around 2013-2016, shifting toward program repair techniques from 2017-2020, and most recently incorporating machine learning and neural approaches into program synthesis and repair (2021-2026). The work consistently addresses practical challenges in software development while maintaining theoretical rigor, with increasing integration of AI techniques in recent years. Dr. Xiong has served in various leadership roles across the software engineering conference ecosystem, including program committee membership and session chair positions at major conferences. Their extensive service demonstrates recognition by peers as a subject matter expert in software engineering and programming languages research. While specific grant information isn't detailed in the provided text, the sustained publication record suggests successful research funding.

• Security Engineering
• Hardware Security
• Post-Quantum Cryptography
• +۴ مورد دیگر

Prof. Tim Güneysu is a full Professor and Head of the Security Engineering department at the Faculty of Computer Science, Ruhr-Universität Bochum. He serves as Vice Dean for Strategy and Finances (since 2023) and previously as Speaker of the Horst-Görtz Institute for IT-Security (2020-2023). His academic journey includes roles as Associate Professor at the University of Bremen (2015-2017) and Assistant Professor at Ruhr-Universität Bochum (2011-2015). He also holds positions at the German Research Center for Artificial Intelligence (DFKI) and has conducted postdoctoral research at UMass Amherst. His research focuses on Security-by-Design principles, CAD for Security, and countermeasures against physical attacks. He emphasizes efficient cryptographic implementations and system-level hardware security. Key areas include post-quantum cryptography, side-channel resistant designs, and secure embedded systems. He has contributed over 200 publications in top venues, with recent work on FPGA-based cryptographic accelerators, secure hardware extensions (e.g., KeyVisor), and post-quantum algorithms for IoT. His research themes include agile signature acceleration, fault attack mitigation, and hardware-software co-design for security. Notable projects include CONVOLVE (edge-AI security) and QuantumRISC (quantum-safe systems). His work bridges theoretical cryptography with practical hardware implementations, emphasizing real-world security applications.

Amr Rizkمشاهده پروفایل

استاد

• Networking
• Communication Systems
• Network Calculus
• +۵ مورد دیگر

Professor Amr Rizk is the Director of the Networks and Communication Systems (NCS) Lab at the University of Duisburg-Essen, where he has been serving as Professor since April 2021. Previously, he was Assistant Professor at Ulm University (2019-2021) and completed his habilitation at TU Darmstadt in 2019. His academic journey includes research positions at prestigious institutions including University of Massachusetts Amherst, University of Warwick, and TU Darmstadt where he was an Athene Young Investigator. Professor Rizk's research spans multiple aspects of networking and communication systems with a particular focus on network performance analysis, stochastic modeling, and practical implementations. His work bridges theoretical foundations with real-world applications, especially in content delivery, video streaming, and network protocols. He has made significant contributions to network calculus, quality of experience optimization, and novel approaches to congestion control and caching mechanisms. His publication record demonstrates consistent high-impact contributions across top networking conferences and journals. Recent work shows a growing emphasis on programmable data planes, AI/ML applications in networking, and advanced techniques for network measurement and performance prediction. His research group at Duisburg-Essen maintains strong connections with both academic and industrial partners in the networking ecosystem. Best Paper Award at ACM MMSys Conference (2023) Distinguished TPC Member for IEEE INFOCOM (2020, 2022) Best Paper Award at ACM/USENIX Middleware Conference (2017) Athene Young Investigator Award, TU Darmstadt (2017) Professor Rizk serves as Associate Editor for Elsevier Computer Communications and has extensive experience with research funding bodies as a reviewer. His leadership extends to conference organization, including roles as PC Co-Chair for IEEE MIPR (2023) and Steering Committee member for Workshop on Network Calculus (2022). He maintains active participation in numerous top networking conferences as Technical Program Committee member, reflecting his standing within the international networking research community.