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

Dan S. Wallachمشاهده پروفایل

استاد

• Computer Security
• Cybersecurity
• Electronic Voting Systems
• +۳ مورد دیگر

Dan S. Wallach is a Professor of Computer Science and Electrical and Computer Engineering at Rice University, and a Program Manager at DARPA's Information Innovation Office since June 2023. He holds a PhD (1999) and MA (1995) from Princeton University, and a BS (1993) from UC Berkeley. His research focuses on cybersecurity, electronic voting systems, and mobile security. He directed the NSF-funded ACCURATE Center (2005-2011), led the STAR-Vote project, and advised U.S. election security policies including testifying before state and federal committees. He also served on the Air Force Science Advisory Board (2011-2015), USENIX Board (2011-2013), and IEEE Technical Guidelines Committee (2019-2023). Recent work includes developing ElectionGuard cryptographic tools for verifiable elections and analyzing cyber warfare in Ukraine. His 15+ years of teaching include courses like Introduction to Program Design and Election Systems Technologies. Publications span secure voting protocols, smartphone security, and election auditing. Collaborations include Microsoft and VotingWorks on cryptographic voting systems like ElectionGuard and Arlo-CVR-Encryption.

• Cybersecurity
• Cyber Analytics
• Digital Forensics
• +۴ مورد دیگر

Nicole L. Beebe is a Professor at the Alvarez College of Business, The University of Texas at San Antonio , specializing in cybersecurity, cyber analytics, and digital forensics. With over two decades of experience spanning academia, government, and industry, she has contributed extensively to research on insider threats, IoT security, and threat hunting. Ph.D. in Business Administration (Information Technology), UTSA MS in Criminal Justice, Georgia State University BS in Electrical Engineering, Michigan Technological University Her research explores cybersecurity challenges in emerging technologies, including quantum computing, IoT, and large language models. She has pioneered studies on cyberbullying dynamics, forensic automation, and AI-driven threat detection. Recent publications focus on adversarial image obfuscation , VR for security operations , IoT forensic methodologies , and deepfake detection frameworks , reflecting interdisciplinary work at the intersection of security, AI, and digital evidence. 2022 Best Paper Award, Journal of Network & Computer Applications Senior Member, IEEE and ACM Senior Fellow, Information Systems Security Association As an Associate Editor for Computers & Security , she shapes the field through peer review. Her $14M+ in funding from NSF, DHS, and DoD underscores her impact on advancing cybersecurity research and education.

Hossein Sayadiمشاهده پروفایل

استادیار

• Cybersecurity
• Hardware Security and Trust
• Applied Machine Learning
• +۷ مورد دیگر

Dr. Hossein Sayadi is an Assistant Professor and Associate Chair in the Department of Computer Engineering and Computer Science at California State University, Long Beach (CSULB). He holds a Ph.D. in Electrical and Computer Engineering from George Mason University, an M.S. from Sharif University of Technology, and a B.S. from K. N. Toosi University of Technology. His research focuses on hardware security , AI/ML applications , cybersecurity , and computer architecture . He leads the iSEC Lab , exploring topics like hardware trust, malware detection, and edge computing security. His work is supported by NSF grants and CSU awards, including the 2024-25 CSU STEM-NET Faculty Fellowship. Education: Ph.D., Electrical and Computer Engineering (George Mason University) M.S., Computer Engineering (Sharif University of Technology) B.S., Computer Engineering (K. N. Toosi University of Technology) His publications span conferences like IEEE ISQED, ISCAS, and DATE. He serves as Technical Program Committee Chair for IEEE ISQED (2024–2025). Awards include NSF ERI grants ($195,305) and the 2023 Multidisciplinary Research Grant. Research opportunities are available for students in machine learning , hardware security , and cybersecurity education .

Maxime Ferreira Da Costaمشاهده پروفایل

دانشیار

• Signal Processing
• Data Science
• Inverse Problems
• +۶ مورد دیگر

Maxime Ferreira Da Costa is an Associate Professor at CentraleSupélec, Université Paris-Saclay, affiliated with the Laboratory of Signals and Systems (L2S). His research focuses on theoretical and algorithmic foundations of data science, particularly in inverse problems, structured signal processing, and physical layer security. Key research areas include super-resolution, system calibration, and privacy-enhancing communication schemes. He holds a Ph.D. from Imperial College London (2018), and previously worked at USC and Carnegie Mellon University. Notable achievements include an ANR Young Researcher Grant (2023) for projects on data science and physical layer security. He actively contributes to conferences and workshops, with recent presentations at Institut Henri Poincaré and Université Paris-Saclay. Education: Ph.D. in Electrical Engineering, Imperial College London (2018) M.Sc. Electrical Engineering, Imperial College London (2012) Engineer Diploma, CentraleSupélec (2012) Research interests span continuous inverse problems, off-the-grid methods, wireless security, and sensing systems. Current projects explore goal-oriented resource allocation, fake path injection for privacy, and preconditioned optimization techniques. His work bridges signal processing theory with practical applications in imaging, telecommunications, and sensing.

• Digital Circuits and Systems
• Energy-Efficient Circuits and Systems
• Embedded Systems
• +۷ مورد دیگر

Massimo Poncino is a Full Professor at the Department of Control and Computer Science (DAUIN) within the Faculty of Engineering at Politecnico di Torino. He serves as Scientific Advisor for the STMicroelectronics partnership and coordinates basic engineering subjects. A Senior Member of IEEE since 2012 and Fellow since 2012, he has served on editorial boards for IEEE Transactions on Computer-Aided Design, IEEE Design & Test of Computers, and ACM Transactions on Design Automation. Education: Laurea in Electronic Engineering (1989) and PhD in Computer and Systems Engineering (1993) from Politecnico di Torino Academic Career: Visiting Scientist University of Colorado (1993-1994), Researcher at Politecnico di Torino (1995-2001), Associate Professor at University of Verona (2001-2004), Full Professor at Politecnico di Torino (2006-present) His research focuses on energy-efficient digital systems , including design automation of SoCs, hardware-aware AI, battery management, cyber-physical systems, and embedded systems. Recent publications highlight advancements in digital twins for batteries , low-power neural network deployment , and IoT privacy . Scientific Awards: Recognition of Service Award - ACM (2013) Certificate of Appreciation - IEEE Circuits and Systems Society (2006, 2008, 2009) IEEE Fellow (2012-) Research Involvement: EU H2020, VI/VII Framework Programs evaluator Scientific Director for projects: Approxim@ction, EMBAI, DISLO-MAN, DAMASCO Member of EDA research group Teaching: Course director for Energy Management for IoT (2019-2025) Lecturer for Computer Science courses (2003-2025)

• Security of IT infrastructures
• Security of Android applications
• Security of C embedded software
• +۶ مورد دیگر

Pr. Jean-François Lalande is a Professor at CentraleSupélec, affiliated with Inria's PIRAT and CIDRE teams. His research focuses on the security of IT infrastructures, Android applications, and C embedded software, including access control policies, intrusion detection tools, and software code analysis. He has led projects like PEPR DefMal (2022–2028) and ANR LYRICS (2011–2015) for privacy-preserving cryptographic protocols in NFC systems. Roles: Conference Chair (EICC 2025, EICC 2020), Workshop Organizer (IWSMR, 3SL, COLSEC, SHPS). Editorial: Guest Editor for journals like Information Technology and Future Generation Computer Systems . His work spans malware analysis, privacy in mobile systems, and security validation. He has served on technical program committees for international conferences (IEEE, ACM) and national events like SSTIC. His students include PhD graduates such as Romain Brisse and Tomas Miranda Concepcion.

Sabine Oechsnerمشاهده پروفایل

استادیار

• Secure Multiparty Computation
• Cryptography
• Cryptographic Protocols
• +۳ مورد دیگر

Sabine Oechsner is an Assistant Professor at the Faculty of Science , Computer Science Department of Vrije Universiteit Amsterdam, and a member of the Network Institute . Her research focuses on cryptographic protocols, secure multiparty computation (MPC), and formal verification of cryptographic systems. She specializes in designing secure computation frameworks with practical implementations against malicious adversaries. Her work emphasizes adaptive security , garbling schemes , and zero-knowledge proofs , with applications in privacy-preserving technologies and secure communication. Collaborations span global institutions, addressing challenges in cryptographic protocol efficiency and real-world security mitigations. She teaches Secure Programming (2024–2025) and has published 12 peer-reviewed articles since 2018, including foundational work on SPDZ implementations and time-lock puzzles . Her research bridges theoretical cryptography with practical, deployable solutions.

Rhongho Jangمشاهده پروفایل

استادیار

• Cybersecurity
• Artificial Intelligence Security
• Network Systems
• +۳ مورد دیگر

Rhongho Jang is an Assistant Professor in the Department of Computer Science at Wayne State University's College of Engineering. He holds a PhD from the University of Central Florida and directs the Networked Intelligence and Distributed Security (NIDS) Lab. His research advances security and privacy in distributed systems, networks, and AI. Research spans cybersecurity, AI security, network algorithms, and distributed systems, with applications in intrusion detection, malware analysis, and in-network computing. Recent publications focus on data plane security, adversarial ML, and IoT security. Awards include NSF grants (2022-2023), Best Paper Award at DSN 2021, and KISA's Outstanding Young Researcher (2018). Current PhD advisees include Seyed Mohammad Mehdi Mirnajafizadeh, Seungsam Yang, Fatima Kamal Khaja, and Sian Kim. Manages NIDS Lab with projects on cyber-physical security and in-network computing.

Phillipa Gillمشاهده پروفایل

دانشیار مدعو

• Computer Networking
• Cybersecurity
• Network Measurement
• +۳ مورد دیگر

Phillipa Gill is an Adjunct Associate Professor at the University of Massachusetts Amherst and a Research Scientist at Google, focusing on the Measurement Lab Project. She holds a Ph.D. in Computer Science from the University of Toronto (2012) and completed a postdoctoral fellowship at the Citizen Lab, Munk School of Global Affairs. Her research emphasizes computer networking and security, particularly network measurement techniques to study online information controls, routing security, and traffic differentiation. Education: Ph.D. in Computer Science, University of Toronto (2012) Postdoctoral Fellowship, Citizen Lab, University of Toronto (2012–2013) M.Sc. in Computer Science, University of Calgary (2007–2008) Bachelor’s Degree (not explicitly stated) Research Interests: Gill’s work addresses network interference, reliability, and security. She develops tools like the ICLab platform for measuring online censorship and collaborates across disciplines, including law and political science. Recent projects include analyzing China’s DNS censorship and evaluating domain name encryption privacy. Key Activities: General co-Chair, ACM Internet Measurement Conference (2016) Program co-Chair, USENIX FOCI (2015) and ACM CoNEXT Student Workshop (2013) Area Editor, ACM SIGCOMM Computer Communications Review (2013–2015) Awards: NSF CAREER Award, Google Research Award Best Paper Awards at IMC (2013) and PAM (2008) IBM Best Presentation Award (Cloud Computing) Anita Borg Fellowship finalist (2009–2010) Labs & Outreach: Leads the ICLab and Calipr Research Group. Co-founded the LED-Programming-Workshop to engage pre-college students in programming and STEM. Active in promoting diversity, such as hosting Women in Computer Science events.

Nikita Borisovمشاهده پروفایل

دانشیار

• Network Security
• Online Privacy
• Cryptography
• +۵ مورد دیگر

Nikita Borisov is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign (UIUC). He also holds Research Associate Professor positions at the Coordinated Science Laboratory and the Information Trust Institute. His affiliations include the Department of Computer Science as an affiliate and the Advanced Digital Sciences Center. His research focuses on network security, online privacy, and anonymous communication systems. He teaches courses in computer security, distributed systems, and computer systems engineering. Education: B.Math in Computer Science and Pure Math from the University of Waterloo (1994–1997), M.S. and Ph.D. in Computer Science from UC Berkeley (1998–2005), advised by Eric Brewer. His thesis explored anonymous routing in structured peer-to-peer overlays. Research interests span privacy-enhancing technologies, anonymous communication (e.g., Tor improvements), botnet detection, watermarking for network flows, and social network privacy. He has advised numerous Ph.D. and M.S. students, many of whom now hold academic and industry roles globally. Notable contributions include the Off-the-Record Messaging protocol, uncovering vulnerabilities in 802.11 WEP security, and developing frameworks like Ninja for scalable Internet services. His work has been recognized with best paper awards and invited journal publications. He has served on program committees for conferences like NDSS, PETS, and CCS, and co-edited books on privacy technologies. Current and past projects include cryptographic protocols, secure aggregation in publish-subscribe systems, and covert botnet detection in social networks.

Michael K. Reiterمشاهده پروفایل

استاد

• Computer Security
• Distributed Systems
• Applied Cryptography
• +۳ مورد دیگر

Michael K. Reiter is a Professor at Duke University in the Department of Computer Science and Department of Electrical & Computer Engineering . He received his Ph.D. in Computer Science from Cornell University (1993) and held academic positions at Carnegie Mellon University and UNC Chapel Hill. Research Focus: Computer and network security, distributed systems, and applied cryptography. Notable Contributions: Pioneering work in Byzantine fault tolerance, malware detection, privacy-preserving protocols, and human-verifiable authentication. Leadership: Founding Technical Director of CyLab at Carnegie Mellon, program committee roles at top security conferences. Recent Publications emphasize: Machine learning security (adversarial training, backdoor detection) Blockchain consensus mechanisms (asynchronous BFT, random beacons) Privacy-enhancing technologies (differential privacy, private set intersection) Side-channel mitigation in cloud environments Awards & Recognition: ACM Fellow (2008) James B. Duke Distinguished Professor

Sandrine Blazyمشاهده پروفایل

استاد

• Formal verification
• Semantics of programming languages
• Compilers
• +۳ مورد دیگر

Sandrine Blazy is a Professor in the Computer Science Department at the University of Rennes, France. She is a member of CELTIQUE (also referred to as Epicure), a joint project-team with Inria Rennes Bretagne Atlantique and the IRISA laboratory. Since 2021, she has served as deputy director of the IRISA CNRS UMR 6074 laboratory and will be the general chair for POPL 2026, which will be held in Rennes. She is also a member of the editorial board of the LMCS journal. Dr. Blazy completed her PhD at CNAM (Conservatoire National des Arts et Métiers) in 1993 with a thesis titled "La spécialisation de programmes pour l'aide à la maintenance du logiciel" (Program Specialization for Software Maintenance Assistance). She later completed her Habilitation à diriger des recherches (HDR) in 2008 at the University of Évry Val d'Essonne with a thesis titled "Sémantiques formelles" (Formal Semantics). Her research focuses on the formal verification of program transformations and semantic properties of programming languages, particularly in the context of the CompCert compiler and Verasco static analyzer. She develops mechanized semantics using the Coq (or Rocq) proof assistant to ensure software correctness and security. A prime application domain of her work is software security, including constant-time programming for cryptographic applications and software obfuscation techniques. Her teaching includes mechanized semantics (in Coq), functional programming (in OCaml), formal methods (using Why3), and software vulnerabilities. Dr. Blazy's publication record from 2019-2025 shows a sustained focus on verified compilation techniques, particularly in preserving security properties during compilation. Her work bridges theoretical formal methods with practical compiler implementation, resulting in tools that have real-world impact in safety-critical systems. She has made significant contributions to the CompCert formally verified compiler project, with particular attention to constant-time preservation for cryptographic applications and JIT compilation verification. Her scientific achievements have been recognized with several major awards: CNRS Silver Medal (2023) Lucas Award from Formal Methods Europe (2023) ACM SIGPLAN Programming Languages Software Award for CompCert (2022) ACM Software System Award for CompCert (2021) Dr. Blazy has been actively involved in the programming languages research community, serving on numerous program committees for major conferences including POPL, ICFP, PLDI, and CPP. She has mentored students and contributed to education through teaching mechanized semantics and formal methods. Her work with the CompCert compiler has led to practical applications in safety-critical systems, with industry collaborations documented in publications like "CompCert: Practical experience on integrating and qualifying a formally verified optimizing compiler" (ERTS 2018). She leads research within the CELTIQUE project team, which focuses on developing trustworthy software using deductive verification. Her team works on advancing the state of the art in formal verification of compilers and static analyzers, with applications in security-critical domains including cryptographic implementations and safety-critical embedded systems.

Wei-Kai Linمشاهده پروفایل

استادیار

• Cryptography
• Algorithms
• Theoretical Computer Science
• +۳ مورد دیگر

Wei-Kai Lin is an Assistant Professor in the Department of Computer Science at the University of Virginia. He holds a Ph.D. from Cornell University and previously worked as a postdoctoral researcher at Northeastern University and CMU, advised by Professors Daniel Wichs and Elaine Shi. His research focuses on cryptography and theoretical computer science, particularly private accesses on big data, oblivious RAM (ORAM), and private information retrieval (PIR). Lin's work has been recognized with the Best Paper Award at STOC 2023 for his breakthrough in doubly efficient PIR and FHE for RAM programs. Lin's education includes a B.S. and M.S. from National Taiwan University, followed by roles as a software engineer and a research assistant at Academia Sinica. He teaches courses such as Introduction to Cryptography (CS 6222) and Cryptography (CS 4501) at UVA. He actively organizes the UVA Theory Seminar, fostering discussions on topics like expander codes, multiplicative weights algorithms, and privacy-preserving techniques. His research interests include cryptographic protocols that minimize computational overhead while ensuring privacy, such as OptORAMa (the first optimal ORAM scheme) and NanoGRAM (garbled RAM with logarithmic overhead). Lin collaborates with industry and academia, addressing challenges in secure computation and privacy in distributed systems.

Kristen McNeillمشاهده پروفایل

استادیار

• Microfinance
• Gender Inequalities
• International Development
• +۵ مورد دیگر

Kristen McNeill is an Assistant Professor in Anthropology and Sociology and holds the Pictet Chair in Finance and Development. She is affiliated with the Centre for Finance and Development and the Gender Centre, focusing on themes such as Economies and Institutions, Gender, Class, Race, and Intersectionality. Her research examines the social drivers of financial behaviors, gender inequalities in development contexts, and the gendered dimensions of microfinance processes. McNeill earned a PhD from Brown University. Her work employs mixed qualitative and quantitative methods, notably exploring how gender-neutral financial policies can produce unequal outcomes in practice, such as in microlending contexts. She has conducted fieldwork in Western and Southern Africa, contributing to global policy analyses on topics like child rights, labor policies, and pension systems. Her publications span journals like Socio-Economic Review and American Sociological Review , addressing themes such as informal financial assistance, microsavings program dynamics, and global policy comparisons. McNeill collaborates with institutions to develop indicators for assessing international covenant compliance and child policy effectiveness. Her research emphasizes intersectional approaches, linking gender, class, and race to economic structures. She has contributed to books like Children’s Chances: How Country Action Changes Children’s Opportunities , examining global policy impacts on child well-being.

Sazzadur Rahamanمشاهده پروفایل

استادیار

• System and software security
• program analysis
• applied cryptography
• +۱ مورد دیگر

Sazzadur Rahaman serves as an Assistant Professor in the Department of Computer Science at the University of Arizona, maintaining his office in GS 734. His scholarly focus spans system and software security, program analysis, applied cryptography, and internet measurement, positioning him at the forefront of cybersecurity research. His research program investigates critical vulnerabilities in modern software ecosystems, with particular emphasis on protestware dynamics, unsanctioned technology adoption in educational settings, and adversarial attacks against machine learning systems. Methodologically, he integrates program analysis with cryptographic techniques to develop practical security solutions, evidenced by frameworks like BLADE for code debloating and SpanL for API misuse detection. His work consistently bridges theoretical security principles with real-world deployment challenges. Analysis of his 15 most recent publications (2023-2025) reveals three dominant research trajectories: (1) software supply chain security (protestware characteristics, container debloating), (2) education technology risks (unsanctioned tool usage, LLM-assisted cheating countermeasures), and (3) foundational security mechanisms (binary code analysis, cryptographic API validation). These publications demonstrate increasing interdisciplinary collaboration, particularly between cybersecurity and educational technology domains. No scientific awards were documented in the provided materials. While student advising activities and research grants aren't specified in the source text, his publication record suggests active mentorship through co-authored works and potential grant-funded projects in software security tool development. The available documentation does not reference specific research laboratories or collaborative teams associated with his current position.