جستجوی استاد راهنمای دانشگاهی

James Mickensمشاهده پروفایل

استاد

• Computer Security
• Cloud Computing
• Systems Architecture
• +۳ مورد دیگر

James Mickens is the Gordon McKay Professor of Computer Science at Harvard University's School of Engineering and Applied Sciences (SEAS). He specializes in systems security, cloud computing, and web technologies. His research focuses on fundamental advancements in secure systems design, including isolation mechanisms for AI, privacy-preserving protocols, and fault-tolerant storage solutions. Notable contributions include groundbreaking work on hypervisor security (Guillotine), TinyML vulnerability analysis, and resilient cloud storage systems (Carbink). He has been recognized with the Harvard College Professorship (2022) and tenure (2019). His work spans theoretical breakthroughs and practical implementations, often addressing critical gaps in system reliability and user privacy. Mickens' research trends emphasize proactive security measures, efficient resource management, and balancing performance with safety in distributed environments. His articles reflect a focus on real-world applicability, from browser optimization (Crom, Vesper) to cloud infrastructure resilience (Blizzard, Oort). Awards include the Harvard College Professor title, signaling exceptional teaching and scholarly impact. While specific grant details are not provided, his prolific publication record suggests sustained funding in systems research. Mickens' work often critiques conventional approaches, exemplified by his humorous yet incisive keynote critique of 'security as an afterthought.'

Alberto Lluch Lafuenteمشاهده پروفایل

استاد

• Model Checking
• Cybersecurity
• Formal Methods
• +۵ مورد دیگر

Alberto Lluch Lafuente is a Professor in the Department of Applied Mathematics and Computer Science at the Technical University of Denmark (DTU). He leads research in formal methods, cybersecurity, and software systems engineering. His work emphasizes model checking, blockchain protocols, and security risk modeling. He has supervised multiple PhD students and serves as Editor-in-Chief of the Journal of Logical and Algebraic Methods in Programming . Research interests include formal verification, attack-defense trees, distributed systems, and quantitative analysis of adaptive systems. Recent efforts focus on process mining for security analysis, liquidity-saving protocols in DeFi, and human-centered AI in software engineering. Key Projects: IoT security risk modeling, formal analysis of DeFi protocols, reduction techniques for biological systems Tools Developed: ERODE (Boolean network reduction), QFLan (quantitative analysis tool) His interdisciplinary work bridges theoretical computer science with practical applications in finance, cybersecurity, and distributed systems.

Mihai V. MICEAمشاهده پروفایل

استاد

• Intelligent Robotic Environments
• Energy Management and Optimization
• Embedded and Real-Time Systems
• +۵ مورد دیگر

Mihai V. Micea is a Professor and Head of the Department of Computer and Information Technology at the Politehnica University of Timisoara. He also serves as Director of the CCCTI Research Center and Coordinator of the DSPLabs. With a B.Sc., M.Sc., and Ph.D. (Cum Laude) from Politehnica University of Timisoara, he has been a faculty member since 1996. His research focuses on intelligent robotic environments, energy management, embedded systems, and real-time hardware/software systems. He has supervised 4 completed PhD theses and currently oversees multiple doctoral candidates. Micea has authored over 125 publications, 3 patents, and managed over 50 R&D projects worth €1.88M. His awards include the 'Eminent Young Researcher of Timisoara' (2006) and the IEEE Outstanding Reviewer Distinction (2017). Education: B.Sc. in Computer Engineering (Politehnica University of Timisoara, 1995) M.Sc. in Computer Engineering (Politehnica University of Timisoara, 1996) Ph.D. in Computer Engineering (Politehnica University of Timisoara, 2005) Habilitation Degree (2015) Research Interests: His work spans intelligent robotic systems, energy optimization, signal processing, and real-time embedded systems. Key areas include cyber-physical systems, sensor networks, and secure IoT communication protocols. His recent projects include RoNaQCI (Quantum Communication Infrastructure) and TEEFIOS (Time-Efficient Framework for Smart Devices). Grants & Projects: As Principal Investigator/Manager, he has led 29 projects with total funding exceeding €1.88M. Notable projects include CloudPUTing (High-Performance Cloud Platform) and MELISSEVS (Robotic-Sensor Collaboration Models). Awards & Recognition: 2006: Eminent Young Researcher of Timisoara (ANCS) 2017: IEEE T-IM Outstanding Reviewer Labs & Teams: Founder and Coordinator of DSPLabs (Digital Signal Processing Laboratories), focusing on real-time systems and smart sensing. Active in IEEE SSIT Romanian Chapter (2013–2022) and international conference organization (e.g., IEEE ROSE 2014).

Fan Longمشاهده پروفایل

استادیار

• Programming Languages
• Software Engineering
• Systems Security
• +۳ مورد دیگر

Fan Long is an Assistant Professor in the Department of Computer Science at the University of Toronto, affiliated with the Bahen Centre for Information Technology. His research focuses on programming languages, software engineering, systems security, and blockchain technology, with particular emphasis on smart contract security and automatic patch generation. He leads the Conflux project, a high-throughput blockchain platform, and has contributed to systems like Shrec (bandwidth-efficient transaction relay), Gosig (scalable Byzantine consensus), and CodePhage (cross-application code transfer). Education background includes a PhD in Computer Science from MIT (as evidenced by his former MIT homepage). His work spans foundational blockchain scalability improvements, runtime validation for smart contracts (Solythesis), and input sanitization techniques (SIFT/SOAP). Notable awards include a Distinguished Paper at ICSE 2024 and Best Paper at IEEE ICBC 2022. Research highlights include developing Prophet (machine learning-driven patch generation), RCV (crash recovery tool), and LVMT (authenticated storage for blockchains). His lab collaborates with industry partners to address challenges in decentralized systems, including transaction finality, oracle security, and gas optimization in DeFi applications. Grants and collaborations include projects funded by NSERC, MIT-IBM Watson AI Lab, and industry partnerships with blockchain firms. Active in open-source communities, maintaining repositories for Conflux, Prophet, and CodePhage. Recent work explores atomic state sharding (Möbius), flash loan attack synthesis (Flashsyn), and robust front-running methodologies.

Pak Ho Chungمشاهده پروفایل

پژوهشگر

• Computer Security
• Privacy
• Malware Analysis
• +۲ مورد دیگر

Pak Ho Chung is a Researcher at the School of Computer Science within the College of Computing at the Georgia Institute of Technology. His research interests include computer security, privacy, malware analysis, authentication, and software security. His recent publications focus on code injection defenses, privacy-preserving authentication methods, and real-time security systems, demonstrating a consistent focus on improving software security frameworks and protecting against emerging threats.

Andrew Novocinمشاهده پروفایل

دانشیار

• Algebraic Number Theory
• Symbolic Computation
• Cryptography
• +۳ مورد دیگر

Andrew Novocin is an Associate Professor at the University of Delaware. He specializes in applications of algebraic number theory, pedagogical practices, and software engineering. His research focuses on symbolic computation, particularly state-of-the-art algorithms for polynomial factorization, lattice reduction, and their applications in cryptography and compressed sensing. He directs the Vertically Integrated Projects and Cyber Scholars programs at UD. Research interests include developing high-performance open-source implementations of algorithms, creating practical lattice-based encryption schemes, and advancing polynomial arithmetic techniques. His work bridges theoretical mathematics with computational efficiency and practical software development. Publications span topics from polynomial factorization algorithms to cryptographic applications, emphasizing algorithmic innovation and computational complexity. Notable contributions include quasi-linear time LLL-reduction algorithms and divide-and-conquer methods for polynomial operations. Current projects aim to establish secure homomorphic encryption protocols with rigorous proofs. His work is characterized by a focus on both mathematical rigor and real-world applicability.

Nektarios Tsoutsosمشاهده پروفایل

استادیار

• Information Security
• Applied Cryptography
• Computer Architecture
• +۳ مورد دیگر

Nektarios Tsoutsos is an Assistant Professor at the University of Delaware, specializing in information security, applied cryptography, and hardware security. His research focuses on encrypted computation, homomorphic encryption, and secure hardware architectures. He holds a PhD from New York University, where he was previously a postdoc in the Modern Microprocessor Architectures laboratory. Education : PhD in Computer Science, New York University Research Interests : Homomorphic encryption frameworks and their acceleration Hardware-software co-design for secure computing Privacy-preserving technologies in additive manufacturing and distributed systems Cryptography for machine learning and IoT Awards : New York University Ph.D. Student Fellowship Pearl Brownstein Doctoral Research Award (NYU) Grants & Projects : CAREER Grant: Accelerating Encrypted Computation on Diverse Hardware (2023) CCRI Grant: Data-Driven Cybersecurity for Smart Manufacturing (2023) His work includes developing secure processors (e.g., Juliet), accelerating FHE algorithms (e.g., Ripple), and creating datasets for 3D printing security. He collaborates on frameworks like HELM and Mastic, addressing challenges in privacy, performance, and scalability.

• Formal Verification
• Programming Languages
• Computer Security
• +۳ مورد دیگر

Arthur Azevedo de Amorim is an Assistant Professor in the Department of Computer Science at the Golisano College of Computing and Information Sciences, Rochester Institute of Technology (RIT). He holds a Ph.D. from the University of Pennsylvania, advised by Benjamin Pierce and Cătălin Hrițcu, with postdoctoral work at Boston University and Carnegie Mellon University. His undergraduate studies were at the University of Campinas (Unicamp) and École Polytechnique (Polytechnique). His research focuses on improving software security through formal verification, programming languages, and type systems. Key areas include cryptographic protocols, compartmentalization techniques for secure compilation, and formal semantics. Notable projects include Cryptis (separation logic for cryptographic protocols) and SECOMP (formally verified compartmentalizing compiler). Arthur teaches courses such as Programming Language Concepts and Programming Language Theory at RIT. He actively contributes to open-source projects like the Coq proof assistant and maintains the Deriving library for generic instance generation in Coq. His recent work emphasizes formal methods for secure systems, with publications in top venues like POPL, CCS, and ICALP. He advises several graduate and undergraduate students on topics ranging from formal verification to programming language design.

Joseph P. Nearمشاهده پروفایل

دانشیار

• Data Privacy
• Differential Privacy
• Computer Security
• +۵ مورد دیگر

Joseph P. Near is an Associate Professor in the Department of Computer Science at the University of Vermont's College of Engineering and Mathematical Sciences. He maintains his office in E458 Innovation Hall and is actively engaged in teaching, research, and service activities. His work bridges theoretical computer science with practical privacy-preserving technologies. His educational background includes a B.S. in Computer Science from Indiana University and both M.S. and Ph.D. degrees in Computer Science from MIT. Ph.D., Massachusetts Institute of Technology M.S., Massachusetts Institute of Technology B.S., Indiana University Near's research focuses on practical applications of data privacy, particularly differential privacy, secure computation techniques, and programming language approaches to security. His work addresses real-world challenges in implementing privacy-preserving systems that maintain data utility while protecting individual information. He has developed frameworks for differential privacy implementation and has extensively studied the usability challenges faced by practitioners implementing privacy protections. His recent publications reveal a strong focus on making differential privacy more practical and accessible, with numerous contributions to choreographic programming for secure computation, language-based security approaches, and tools for evaluating privacy guarantees. The research trajectory shows increasing attention to usability issues alongside technical innovations, reflecting a maturing field where practical adoption challenges are becoming as important as theoretical advances. Near actively mentors multiple Ph.D. students through the UVM PLAID lab and the UVM Center for Computer Security and Privacy. His service contributions include organizing workshops like TPDP (Theory and Practice of Differential Privacy) and serving on program committees for major security conferences including CCS, USENIX Security, and PETS. His teaching portfolio includes specialized courses on Data Privacy and Secure Distributed Computation, reflecting his research expertise. He has co-authored significant educational resources including the book "Programming Differential Privacy" and is working on "Differential Privacy for Databases," demonstrating his commitment to making these complex topics accessible to practitioners.

Michael Franzمشاهده پروفایل

استاد

• Software Systems
• Compiler Design
• Virtual Machine
• +۹ مورد دیگر

Professor Michael Franz is a Distinguished Professor and ICS Alumni Professor in the Donald Bren School of Information and Computer Sciences at the University of California, Irvine. He also holds a courtesy appointment in the Department of Electrical Engineering and Computer Science in the Henry Samueli School of Engineering. Franz directs UCI's Secure Systems and Software Laboratory and is a Fellow of AAAS, ACM, IEEE, and an Inaugural Fellow of IFIP. His educational background includes: Doctor of Technical Sciences in Computer Science from ETH Zurich (advisor: Niklaus Wirth) Dipl. Informatik-Ingenieur ETH degree from ETH Zurich Professor Franz pioneered mobile code and dynamic compilation research, creating early just-in-time compilation systems and co-inventing trace compilation technology that became Firefox's JavaScript engine. His current research focuses on Software Systems, particularly compiler and virtual machine techniques for making software safer, faster, or both. His work spans Computer Security, Trustworthy Computing, and Software Engineering, with recent emphasis on multivariant execution, automated software diversity, and probabilistic memory safety. Franz's research bridges theoretical foundations with practical applications, resulting in technologies deployed in major software systems used by hundreds of millions. His publication record demonstrates consistent leadership in security and systems research, with recent work focusing on survivable systems, binary analysis, and cross-platform security solutions. The publications reveal an evolution from foundational compiler techniques to sophisticated security mechanisms addressing real-world vulnerabilities, with strong emphasis on practical implementation and measurable impact. Professor Franz has received numerous prestigious awards: ACM Charles P. 'Chuck' Thacker Breakthrough in Computing Award (2020) Humboldt Research Award (2019) Distinguished Professor at UCI (2022) UCI's 'Innovator of the Year Award' (2018) Fellowships from all four major computing professional organizations Multiple Best Paper Awards at top-tier conferences As an advisor, Franz has graduated over 40 Ph.D. students, with recent graduates including Mitchel Dickerson and André Rösti. His research group has secured over $24 million in competitive grants (more than $16 million as sole PI) and received over $1 million in unrestricted industry gifts. Franz maintains strong industry connections, with many former students now at Google, Apple, and Meta, and his research directly influences commercial technologies. Leading the Secure Systems and Software Laboratory, Franz fosters a collaborative environment focused on developing innovative security solutions. The lab maintains global research partnerships and continues to advance areas like multivariant execution systems, automated software diversity, and practical security mechanisms. Current projects emphasize developing systems that maintain functionality even when compromised, addressing the evolving landscape of cyber threats with scientifically rigorous approaches.

M. Anwar Hasanمشاهده پروفایل

استاد

• Cryptography
• Computer Security
• Embedded Systems
• +۴ مورد دیگر

M. Anwar Hasan is a Professor in the Department of Electrical and Computer Engineering at the University of Waterloo, where he has been a faculty member since January 1993. He was promoted to Associate Professor with tenure in 1998 and to full Professor in 2002. At Waterloo, he is also a member of the Centre for Applied Cryptographic Research, the Center for Wireless Communications, and the VLSI Research group. He previously spent 1992 as a post-doctoral fellow at the University of Victoria. Dr. Hasan received his B.Sc. and M.Sc. degrees in electrical and electronic engineering and computer engineering, respectively, from the Bangladesh University of Engineering and Technology in 1986 and 1988. He earned his Ph.D. in electrical engineering from the University of Victoria in 1992. His research focuses on cryptographic computations and embedded systems, dependable and secure computing, computer and network security, and computer arithmetic and architecture. His work has particularly emphasized efficient implementations of cryptographic algorithms, especially elliptic curve cryptography, with attention to side-channel attack resistance and fault tolerance. He has made significant contributions to finite field arithmetic, which forms the mathematical foundation for many cryptographic systems. Dr. Hasan's recent publications demonstrate continued leadership in cryptography, with work spanning traditional cryptographic implementations, post-quantum cryptography (particularly isogeny-based approaches), blockchain applications, secure multi-party computation, and hardware optimization for cryptographic operations. His research maintains a strong focus on both theoretical foundations and practical implementations. Raihan Memorial Gold Medal President's Research Scholarship (awarded four times at University of Victoria) Faculty of Engineering Distinguished Performance Award (2000) Outstanding Performance Award (2004) As a member of the Centre for Applied Cryptographic Research, Dr. Hasan has led numerous research projects in cryptographic hardware and software implementations. He served as an associate editor of the IEEE Transactions on Computers from 2000 to 2004 and has been involved in program and executive committees for several conferences. His research has been supported by various grants that have enabled him to supervise numerous graduate students and postdoctoral fellows, though specific grant details are not provided in the source material. Dr. Hasan's laboratory work has focused on implementing efficient and secure cryptographic systems, particularly examining side-channel attacks and developing countermeasures. His research team has produced numerous technical reports through the Centre for Applied Cryptographic Research (CACR) at Waterloo, demonstrating a sustained research program in cryptographic engineering.

• Cybersecurity
• Computer Science
• Information Security
• +۶ مورد دیگر

Nuno Mateus Coelho is an Associate Professor at Lusófona University and an Invited Associate Professor at the Polytechnic Institute of Cávado and Ave, specializing in Cybersecurity. He holds a PhD in Computer Science (Cybersecurity) from the University of Trás-os-Montes e Alto Douro and is a certified European Commission expert in Information Security projects. His professional roles include Cyber Security Adviser at Faurecia Automotive and Nanium Group, CEO of NRMC.PT, and Judicial Expert at the Ministry of Justice. He is also the Editor-in-Chief of the ARIS2 Journal and Director of the LAPI2S Lab. Education: PhD in Computer Science (Cybersecurity) – University of Trás-os-Montes e Alto Douro (2020) MSc in Computer Engineering (Cybersecurity) – Instituto Superior de Engenharia do Porto (2015) BSc in Information Systems Engineering – Instituto Superior de Línguas e Administração (2010) Ongoing Postdoctoral Research in Cybersecurity at Lusófona University Research Interests: Cybersecurity frameworks (e.g., CyberSoc, PCSRA) Blockchain and cryptographic systems (e.g., ChevroCrypto) AI-driven cybersecurity solutions Paranoid Operating Systems for privacy Healthcare cybersecurity and pandemic response (e.g., Vent2Life project) Key Projects & Grants: Lead WP5 of the Horizon 2020-funded CyberSecPro project Recipient of the INNCYBER Innovation Award (2021) for best European research Vent2Life: Repaired 200+ ventilators during the COVID-19 crisis General Chair of the iSCSi International Conference Media & Public Engagement: Regular cybersecurity commentator on CNN Portugal and TVI Keynote speaker at Web Summit, IEEE, and TEDx events Author of opinion columns on cybersecurity trends

• Algorithms
• Distributed Systems
• Internet of Things
• +۴ مورد دیگر

Valderi Reis Quietinho Leithardt is a Full-time Assistant Professor at ISCTE - University Institute of Lisbon, Portugal, where he also serves as an Integrated Researcher at ISTAR/ISCTE. An IEEE Senior Member since 2019, he specializes in Computer Science with emphases on algorithms, distributed systems, and data privacy across Internet of Things, Cloud Computing, and Intelligent Systems domains. Education: Postdoctoral in Computer Engineering, University of Salamanca, Spain (2019-2021) Postdoctoral in Distributed Systems and Data Privacy, University of Coimbra, Portugal (2017-2019) Ph.D. in Computer Science, Federal University of Rio Grande do Sul, Brazil (2011-2015) Master's in Computer Science, Pontifical Catholic University of Rio Grande do Sul, Brazil (2006-2008) Graduate Certificate in Computer Networks, Federal University of Rio Grande do Sul, Brazil (2003-2004) Bachelor's in Data Processing Technology, Centro de Ensino Superior de Foz do Iguaçu, Brazil (1999-2002) His research centers on developing middleware solutions for privacy control in ubiquitous environments (UbiPri), cryptographic protocols for IoT security (PRISEC series), and machine learning applications for infrastructure monitoring. Recent work demonstrates strong interdisciplinary connections between data privacy frameworks, edge computing optimization, and real-world implementations in smart agriculture, healthcare, and power grid systems. His publications reveal consistent focus on solving resource-constrained environment challenges through algorithmic innovation. Research Impact: 2025 publications show expansion into transformer models for time-series forecasting and JVM optimization techniques 2024 work emphasizes healthcare data privacy, forged image detection, and elderly activity monitoring Core contributions to IoT security protocols and distributed system architectures since 2019 Leadership and Service: Principal investigator on 12+ funded projects including Physically Unclonable Functions (FCT, 2025) and Smart Textile for Dogs (Salamanca University, 2025) Organizer of WTTFC workshops (2024-2025) and IEEE CiSTI conference sessions Active thesis committee member for 30+ graduate students across Portugal, Brazil, and Spain Professor Leithardt maintains strong industry connections through IEEE activities and collaborates with research groups including UNINOVA, ISTAR, and University of Salamanca's computer engineering department on next-generation secure system architectures.

• Data Science
• Machine Learning
• Privacy-Preserving Technologies
• +۳ مورد دیگر

Valentin Hartmann is a Researcher at the Data Science Laboratory (DLAB) within the School of Computer and Communication Sciences at École Polytechnique Fédérale de Lausanne (EPFL). His work focuses on advanced topics in data science, including differential privacy, optimal transport theory, and privacy-preserving machine learning. He holds a postdoctoral position and contributes to cutting-edge research in computational statistics and secure distributed learning. His research interests span multiple domains: (1) Development of privacy-preserving techniques for machine learning and data analysis, (2) Optimization of transport problems with applications in statistics and geometry, (3) Design of secure algorithms for distributed systems, and (4) Implementation of robust statistical methods through R packages like 'transport'. Valentin actively publishes in top-tier venues, with recent contributions addressing neural network behavior analysis, privacy risks in data distribution inference, and novel cryptographic approaches for collaborative learning. His work bridges theoretical foundations with practical software solutions, as evidenced by his development of the 'transport' R package for optimal transport computations. He is affiliated with the DLAB research group at EPFL's INN building (Office INN 315), contributing to interdisciplinary projects at the intersection of computer science, mathematics, and privacy engineering.

• IoT security
• Applied cryptography
• Authentication
• +۲ مورد دیگر

Salem AlJanah is an Honorary Research Fellow in Systems and Software Security at the Department of Computer Science, University of Manchester, and concurrently serves as Assistant Professor at Imam Mohammad Ibn Saud Islamic University. A Certified Information Systems Security Professional and Fellow of the Higher Education Academy, his research focuses on IoT security, applied cryptography, and secure communications. His primary research interests include: Authentication and key management systems Cryptographic applications in IoT Network security architectures Secure communication protocols for distributed systems Dr. AlJanah received the Steve Furber Medal for his doctoral work on IoT authentication frameworks. He mentors graduate students in cybersecurity and collaborates internationally on IoT security solutions. His recent publications demonstrate a strong focus on optimizing authentication mechanisms for IoT environments, developing intrusion detection systems against AI-generated threats, and implementing blockchain solutions for secure electric vehicle charging infrastructure.