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

Kyle Croninمشاهده پروفایل

دانشیار

• Cybersecurity Education
• Network Security
• Enterprise Computing
• +۳ مورد دیگر

Dr. Kyle Cronin is an Associate Professor and Coordinator for Academic Computing & PhD in Cyber Defense at Dakota State University's Beacom College of Computer & Cyber Sciences. He oversees the Center of Academic Excellence in Cyber Defense (CAE-CD) and directs DSU’s Information Assurance Lab, a cloud-based hands-on learning environment. As director of GenCyber@DSU, the nation's largest residential GenCyber camp, he engages hundreds of high school students annually. His research focuses on K-12 cybersecurity education, enterprise computing, and cellular communications. Education: D.Sc., Capitol Technology University (MD) M.S. & B.S., Dakota State University Research Interests: Dr. Cronin emphasizes experiential learning through lab environments and outreach initiatives. His work bridges theoretical concepts with practical applications in networking security, wireless protocols, and cloud infrastructure. He advocates for diversity in cybersecurity pipelines through K12 programs and residential camps. Grants & Funding: As PI/co-PI, he secured over $11M in grants, including $3.5M from NSA for CAE Innovation and $5.5M from NSF for CyberCorps SFS. Notable projects include GenCyber camps ($335K-750K annually) and infrastructure grants for cellular education ($200K+). Labs & Initiatives: Leads the Information Assurance Lab supporting all computing programs and organizes DakotaCon, a major cybersecurity conference with sponsorships exceeding $37K annually.

Jürgen Schönwälderمشاهده پروفایل

استاد

• Computer Networks
• Distributed Systems
• Embedded Systems
• +۱ مورد دیگر

Prof. Jürgen Schönwälder is a Professor of Computer Science at the School of Computer Science and Engineering, Constructor University Bremen gGmbH. His research focuses on computer networks, distributed systems, embedded systems, and computer security. He has held positions at TU Braunschweig, University of Twente, and Bell Labs. He leads the Computer Networks and Distributed Systems research group, which addresses challenges in robust network infrastructure and distributed systems resilience. Education: Doctoral Degree in Computer Science, Technical University Braunschweig (1996) Diploma in Computer Science, Technical University Braunschweig (1990) Research Interests: Design of scalable and resilient network services Security in distributed systems Measurement of network performance and behavior IoT and constrained device management Standardization of network protocols (e.g., NETCONF, YANG) Funded Projects: EU Horizon 2020 Concordia (2019-2023) EU FP7 Flamingo (2012-2016) Industry-funded projects in network management and security Key Contributions: Over 100 publications in top venues (IEEE/ACM Transactions, SIGCOMM) and co-chair roles in IETF working groups (NETMOD, ISMS). His work on network configuration (NETCONF), flow analysis, and IPv6 transition mechanisms has shaped modern network management practices.

Bernardo Luís Portelaمشاهده پروفایل

پژوهشگر

• Cryptography
• Information Security
• Secure Multiparty Computation
• +۳ مورد دیگر

Bernardo Luís Portela is a Senior Researcher at HASLab/INESC TEC since January 2014 and a fourth-year Ph.D. student in the MAPi doctoral programme at the University of Minho. His research focuses on cryptography, information security, and secure multiparty computation (MPC) leveraging trusted hardware. He contributes to projects like SafeCloud and NanoSTIMA, advancing high-assurance MPC protocols by bridging theoretical and practical implementations. Education: M.Sc. in Informatics Engineering from the University of Minho. Research Interests: Specializes in secure MPC protocols using Isolated Execution Environments (IEEs), privacy-preserving machine learning, and distributed system security. His work includes formalizing security guarantees for IEEs and hybrid schemes for efficient ML computation. Advising & Projects: Supervised multiple theses on topics like telecom fraud detection, speculative execution resilient cryptography, and TLS 1.3 C2 traffic analysis. Active in collaborative projects addressing cloud security and distributed system vulnerabilities. Labs/Teams: Member of HASLab/INESC TEC, contributing to high-assurance software solutions for distributed systems and network security.

Saikat Guhaمشاهده پروفایل

استاد

• Networking
• Distributed Systems
• Computer Security
• +۲ مورد دیگر

Saikat Guha serves as Director (Professor) at the Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken, Germany, leading the Networked Systems research group. His institutional affiliations include joint appointments with Max Planck Institute for Informatics and prior faculty roles at the University of Texas at Austin. Research focuses span: Privacy-enhancing technologies for social networks and IoT Formal verification of security policies Zero-trust architectures in cloud environments Decentralized identity management systems His work consistently bridges theoretical rigor with practical deployment, evidenced by industry-adoption of several protocols. Recent publications (2016-2023) show evolving emphasis from network security (early work) to privacy-preserving distributed systems (current focus), with 68% of publications appearing in top-3 venues for networking and security. Key trends include integration of formal methods with machine learning for anomaly detection. Awards and recognition: SIGCOMM Best Paper Award (2010) for Arista packet-loss recovery system NSDI Best Paper Award (2012) on privacy-preserving social networking ACM Distinguished Scientist designation (2018) Funding and mentorship: Currently leads 3 major grants totaling €3.2M Advises 5 PhD students and 2 postdocs with 100% placement in academia/industry Strong industry ties through Google Research Award and Cisco University Consortium The Networked Systems lab maintains active development of open-source tools including NetVerify (network policy checker) and PrivNet (privacy-preserving analytics framework), with regular contributions to Linux kernel networking subsystems.

• Cybersecurity
• Machine Learning
• Biometric Authentication
• +۴ مورد دیگر

Chan Yeob Yeun is a Professor at United Arab Emirates University in the College of Information Technology, with prior affiliation at Qatar University's Department of Computer Science. His research focuses on cybersecurity, machine learning, and biometric authentication systems, particularly in industrial IoT and digital twin environments. Current Affiliation: United Arab Emirates University, College of Information Technology Prior Affiliation: Qatar University, Department of Computer Science His work spans multiple domains including: Explainable AI for healthcare and security Biometric authentication using EEG and ECG signals Blockchain applications in UAV networks and industrial systems Federated learning security and data poisoning defense Digital twin threat modeling Recent publications demonstrate technical innovation in: YOLOv3-based safety monitoring Physics-informed neural networks Hybrid TESLA protocol security Shadow AI cybersecurity Metaverse threat intelligence

Ginovska Margaritaمشاهده پروفایل

دانشیار

• Radiation Detection
• Thermoluminescence
• Dielectric Materials
• +۳ مورد دیگر

Margarita Ginovska is an Associate Professor at the Faculty of Electrical Engineering, University Sts. Cyril and Methodius, Skopje. She holds a PhD (2002), MSc (1997), and BSc (1990) in Physics from the same institution. Her academic career spans over three decades, starting as a Junior Assistant (1990–1998), progressing to Assistant Professor (1998–2003), and holding her current position since 2003. Dr. Ginovska’s research focuses on radiation detection, thermoluminescence dosimetry, dielectric materials, and sustainable energy systems. Her work includes developing protocols for food irradiation control, advancing BIM adoption in construction, and exploring luminescence properties for accident dosimetry. She has contributed to international projects like TRAINEE and SEEtheSkills, addressing energy skills gaps and food safety standards. Her recent publications highlight innovations in luminescence-based dosimetry for radioactive emergencies, construction sector digitalization, and cardiorespiratory dynamics modeling. She has authored educational materials on physics and renewable energy systems, including textbooks and guides for engineers. Dr. Ginovska collaborates on projects funded by the IAEA and EU Horizon 2020 initiatives, emphasizing radiation safety, sustainable energy, and workforce development. Her research bridges fundamental physics and applied engineering, impacting public health, environmental monitoring, and technological advancement.

• Post-Quantum Cryptography
• Symmetric Cryptanalysis
• Side-Channel Attacks
• +۲ مورد دیگر

Pierre-Alain Fouque is Professor of Computer Science at University of Rennes 1 and Institut Universitaire de France, specializing in cryptographic security and cryptanalysis. His research spans post-quantum algorithms, symmetric cryptosystem vulnerabilities, and practical side-channel attacks. Key research areas: Lattice reduction algorithms Blockchain-based supply chain security White-box cryptography implementations Automated cryptanalysis tools Current projects include ANR SafeTLS improving TLS protocol security and Brutus project analyzing authenticated ciphers. Supervises doctoral candidates working on lattice-based signature schemes, side-channel resistant implementations, and cryptographic reverse-engineering. Extensive program committee service includes CRYPTO, Eurocrypt, CCS, and CHES conferences. Research contributions include Falcon lattice-based signatures and key recovery attacks on multivariate schemes.

Matthias Wählischمشاهده پروفایل

استاد

• Internet Protocols
• Network Security
• Mobile Internet
• +۷ مورد دیگر

Matthias Wählisch is a Professor and Chair of Distributed and Networked Systems at TU Dresden's Faculty of Computer Science. Previously, he led the Internet Technologies group at Freie Universität Berlin. His research focuses on Internet protocols, network security, mobile networking, IoT, and information-centric networking. He has advised numerous theses and contributed to open-source projects like RIOT OS and CAF_C++ Actor Framework. Research Interests Design and analysis of Internet protocols (BGP, IPv6) Cybersecurity and network measurements Mobile and IoT networking Information-centric networking (ICN) Awards Best Community Contribution Award ACM CoNEXT 2022 Winner of International IPv6 Application Contest 2009 Best Demo Award IEEE LCN 2018 His work includes projects like Peeroskop (German Internet backbone analysis) and X-Check (security anomaly detection). He actively engages in standardization and open-source software development.

• Cybersecurity
• Network Security
• IT Security Testing
• +۳ مورد دیگر

Christian Schanes is a PostDoc Researcher at TU Wien's Department of Business Informatics. He holds a Dipl.-Ing. degree and a Dr.techn. from TU Wien, with a PhD titled 'Scope and depth efficient testing approach and framework for enhancing the detection of IT security bugs' (2013). His research focuses on cybersecurity, network security, automated security testing, and secure communication protocols. He teaches the course 'Introduction to Security' (2024W) and has supervised multiple graduate theses, including works on cybersecurity awareness, automated testing frameworks, and VoIP security. His research interests span IT security testing, data privacy, and vulnerability analysis in systems like VoIP and mobile payment frameworks. He has pioneered methodologies for automated security testing using machine learning and system behavior modeling. His work often addresses real-world threats, such as TLS vulnerabilities and honeynet-based attack analysis. Schanes has co-authored over 30 peer-reviewed publications, emphasizing practical solutions to cybersecurity challenges. Notable contributions include studies on mobile kernel subversion via TrustZone rootkits and large-scale VoIP threat analysis using honeynets. His research bridges theoretical frameworks with applied security solutions, impacting both academic and industry practices.

Johannes Bauerمشاهده پروفایل

استاد

• Applied Cryptography
• Embedded Systems Security
• Vulnerability Assessment
• +۷ مورد دیگر

Prof. Johannes Bauer is a Professor of Computer Science at Cooperative State University Mannheim (DHBW Mannheim) since 2022. He holds a Ph.D. in Computer Science from Friedrich-Alexander-Universität Erlangen-Nürnberg (2016), focusing on cost-effective security measures for embedded systems. His research spans applied cryptography, vulnerability assessment, side-channel analysis, and hardware security modules (HSMs). Professional Experience: 2022–Present: Professor at DHBW Mannheim 2018–2021: Principal Designated Engineer for cybersecurity standards at Underwriters Laboratories 2016–2018: Product Security Officer at Robert Bosch Smart Home GmbH Research Interests: Embedded systems security Physical-layer attacks and covert channels Cold-boot attacks and memory forensics Hardware-software co-design for security Smart grid cybersecurity Publications Highlight: His 2016 Ph.D. thesis introduced novel methods for timing side-channel detection and anti-EMI feature abuse. Recent work includes analyzing demand response capabilities in smart grids (2019). Labs/Teams: Active in cybersecurity research groups, contributing to standards like ETSI EN 303 645 and UL MCV 1376. Collaborates with industry partners on embedded system hardening.

William Shotykمشاهده پروفایل

استاد

• Environmental Geochemistry
• Soil Science
• Trace Elements Cycling
• +۷ مورد دیگر

William Shotyk is a Professor and Bocock Chair in Agriculture and the Environment at the University of Alberta's Faculty of Agricultural, Life and Environmental Sciences, Department of Renewable Resources. He holds joint appointments in the Land Reclamation International Graduate School (LRIGS) program. His research focuses on environmental soil science, geochemistry, and the impacts of industrial activities on ecosystems. Education: B.Sc. (Agr.) in Soil Science and Chemistry from the University of Guelph (1981), Ph.D. in Geochemistry from the University of Western Ontario (1986), and postdoctoral training at UC Riverside and University of Bern (Switzerland). He became a Full Professor at Heidelberg University before joining the University of Alberta in 2011. Research Interests: Geochemical cycling of trace metals (Pb, Sb, As, Cd, Ag, Tl, Hg), soil and water conservation, biogeochemical processes in peatlands, and the application of isotopic techniques (Pb, Sr, radiogenic isotopes) to environmental problems. Recent work includes studying atmospheric dust deposition from oil sands mining, trace element bioavailability, and the Anthropocene Epoch's geological markers. Key projects include the SWAMP (metal-free ultra-clean lab), the Elmvale Groundwater Observatory, and collaborations on peat core analyses to trace environmental changes. His work bridges fundamental geochemistry with applied issues like wastewater treatment and climate change impacts. Awards: Philippe Duchaufour Medal (2012), Fellow of the Royal Society of Canada (2018), Geochemistry Fellow (2019). Teaching: Courses on soil and water conservation (REN R 360/750), trace elements in the environment (REN R 418/518), and advanced research skills (REN R 605). He advises graduate students in environmental geochemistry and land reclamation. Lab/Teams: SWAMP Lab, LRIGS Program, and international collaborations on peatlands and Anthropocene research.

Erik Pollمشاهده پروفایل

دانشیار

• Software Security
• Formal Methods
• Secure Input Handling
• +۷ مورد دیگر

Erik Poll is an Associate Professor in the Digital Security (DiS) research group at the Institute for Computing and Information Science (ICIS), part of Radboud University's Faculty of Science. His work focuses on software security through formal methods and rigorous engineering approaches, addressing vulnerabilities in protocols like TLS, SSH, and payment systems (EMV, EV charging). He also explores applied security in smartcards, RFID, TEEs, and industrial IoT standards (OPC-UA). Research Interests: Core areas include secure input handling (LangSec), fuzzing techniques, cryptographic protocol analysis, and critical infrastructure security. He has pioneered protocol state fuzzing for analyzing implementations of OpenVPN, SSH, and TLS. Applied work spans smart grid security, automotive systems, and privacy in digital identity wallets. Teaching: Leads courses on Web Security, Software Security, and Security Protocol Projects in Radboud's Cyber Security and Software Science programs. Organizes the NymaCon hacking competition and maintains materials for cybersecurity education in Dutch high schools. Advising & Grants: Currently supervising four PhD students (listed above). Principal investigator on projects like Find2Fix (NWO 2025-2029), NOLAI (2022-2032), and INTERSECT (2020-2028). Collaborates with Dutch cybersecurity organizations like ACCSS and OWASP Netherlands. Labs/Teams: Active in ICIS's Digital Security group, leading the confidential contact team for PhD students. Co-developed open-source smartcard tools and contributes to standards like the Dutch National Cyber Security Research Agenda (NSCRA III).

Xavier de Carné de Carnavaletمشاهده پروفایل

استادیار

• Network Security
• Privacy
• Web Security
• +۴ مورد دیگر

Xavier de Carné de Carnavalet is an Assistant Professor at Radboud University's Digital Security group within the Faculty of Science. His research focuses on network security, privacy, web security, and applications of machine learning in cybersecurity. He holds a PhD from Concordia University (2019) and completed postdoctoral work at Carleton University's CCSL lab. Research Interests: Network Security & Privacy Passwords & Authentication Systems Embedded/Firmware Security Machine Learning for Cybersecurity Home Router Vulnerabilities TLS Interception Mechanisms Publications highlight trends in analyzing security configurations (home routers), detecting vulnerabilities (command injection in firmware), and evaluating TLS interception practices. His work often bridges technical security analysis with human factors influencing secure practices. He has contributed to major conferences like CHI, NDSS, and USENIX Security. Notable projects include analyzing password strength meters and verifying TrueCrypt's build integrity. Current research includes database breach analysis and cryptographic software hardening. Labs/Teams: Active contributor to the Digital Security group at Radboud University, collaborating with institutions like HK PolyU and Concordia's Madiba Security Research Group.

• Cybersecurity
• Critical Infrastructures
• Internet of Things (IoT)
• +۴ مورد دیگر

Prof Leandros Maglaras is a Professor at the School of Computing, Engineering and the Built Environment, Edinburgh Napier University. He has published extensively on cybersecurity topics including critical infrastructure protection, IoT security, and machine learning applications in network defense. Recent Research: Focuses on post-quantum cryptography, blockchain-based security systems, and digital twin applications for attack detection. Publications: 15 most recent works span journals and conferences in cybersecurity, with emphasis on 2024-2025 outputs. Current Collaborations: Works with researchers including Naghmeh Moradpoor, Berk Canberk, and Bill Buchanan on emerging threats in autonomous vehicles, electric vehicle security, and Linux ransomware analysis. Key methodologies include TLS fingerprinting, federated learning, and augmented reality security systems Active in developing visualization tools for incident response playbooks PhD Supervision: Serves as second supervisor for Yagmur Yigit's research on smart attack detection in autonomous networks.

• Interactive Theorem Proving
• Formalization of Mathematics
• Proof by Reflection
• +۳ مورد دیگر

Kazuhiko Sakaguchi is a Researcher affiliated with CNRS (French National Centre for Scientific Research), École Normale Supérieure de Lyon (ENS Lyon) , and Université Claude Bernard Lyon 1 , working at the Laboratoire de l'Informatique du Parallélisme (LIP, UMR 5668) . His primary research focuses on foundational aspects of programming languages and formal verification. Research Interests: Sakaguchi specializes in interactive theorem proving (particularly using Coq), formalization of mathematics , and proof by reflection . His work bridges theoretical computer science and practical tool development, with applications in algorithm verification, algebraic hierarchies, and dependent type systems. Publication Trends: His recent articles emphasize formal verification of algorithms (e.g., mergesort correctness), design patterns for mathematical structures in proof assistants, and program extraction techniques. A consistent theme is enhancing productivity in theorem proving through reusable abstractions and automated tactics.