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

• Quantum Information
• Quantum Cryptography
• Post-Quantum Cryptography
• +۷ مورد دیگر

Carlo Ottaviani is a Senior Lecturer in the Department of Computer Science at the University of York and a member of the York Centre for Quantum Technologies. His academic qualifications include a PhD in Physics & Computer Science, and Fellowships from the Advance HE (HEA) in 2023 and 2013. He has held roles such as Senior Research Fellow and Research Associate within the department, contributing to quantum information, post-quantum cryptography, and quantum networks. Education: PhD in Physics & Computer Science PGCAP & Fellow of Advance HE (2023) YLTA & Associate Fellow of Advance HE (2013) Research Interests: Quantum Information and Quantum Technologies Quantum Cryptography (QKD), Post-Quantum Cryptography Quantum Optics and Quantum Atom-Optics Security, Continuous-Variable Quantum Systems Dr. Ottaviani has contributed to major projects, including the UK Quantum Technology Hub for Quantum Communications Technologies. His work focuses on developing secure quantum communication protocols and advancing theoretical frameworks for quantum systems. He actively participates in academic collaborations and has authored over 45 publications in peer-reviewed journals and conferences. Grants and Projects: Principal Investigator for projects on Coherent Control of Quantum Optical Systems and Quantum Non-Linear Optics Contributor to the EPSRC-funded UK Quantum Communications Hub Labs/Teams: York Centre for Quantum Technologies (YCQT) Quantum Information and Cyber Security & Privacy Research Groups

Dennis Goeckelمشاهده پروفایل

استاد

• Secure Data Transmission
• Network Theory
• Wireless Communication
• +۴ مورد دیگر

Dennis Goeckel is a Professor in the Department of Electrical and Computer Engineering at the University of Massachusetts Amherst, affiliated with the College of Engineering. His research focuses on secure data transmission, network theory, and wireless communication systems, with emphasis on physical layer security, low probability of detection (LPD) communication, and robust signal processing techniques. He holds an IEEE Fellow designation and has received prestigious awards such as the National Science Foundation CAREER Award (1999) and the University of Massachusetts Distinguished Teaching Award (2007). Education: Ph.D. in Electrical Engineering (Systems), University of Michigan, 1996 M.S. in Electrical Engineering, University of Michigan, 1993 B.S. in Computer and Electrical Engineering, Purdue University, 1992 Research interests span secure communication protocols, network security, and the theoretical foundations of wireless systems. His work on 'everlasting security' and covert communication has advanced methods to protect data transmission from detection and eavesdropping. He also explores applications in IoT, UAV communication, and federated learning privacy. Recent publications highlight advancements in covert communication scaling laws, cross-technology networks, and adversarial machine learning defenses. Scientific Awards: IEEE Fellow (2011) National Science Foundation CAREER Award (1999) UMass Distinguished Teaching Award (2007) Outstanding Senior Faculty Member (2010) Advising and Grants: Goeckel has advised numerous students, earning multiple Outstanding Advisor Awards. His grants include NSF support for 'Everlasting Security in Wireless' and SWIFT initiatives. He serves as an editor for IEEE Transactions on Networking and has organized major conferences like the IEEE Global Communications Conference's Wireless Communications Theory Symposium. Labs/Teams: His research group develops cutting-edge protocols for secure wireless systems, collaborating on hardware implementations and theoretical frameworks for covert communication and privacy-preserving technologies.

Vasiliki Kalavriمشاهده پروفایل

استادیار

• Distributed Data Processing
• Streaming Computation
• Large-Scale Graph Analysis
• +۳ مورد دیگر

Vasiliki Kalavri is an Assistant Professor in the Department of Computer Science at Boston University, where she co-leads the Complex Analytics and Scalable Processing (CASP) Systems lab. She holds a PhD from KTH Royal Institute of Technology and the Catholic University of Louvain (UCLouvain), awarded through the EMJD-DC joint doctoral program, and completed a postdoctoral fellowship at ETH Zurich, supported by the ETH Zurich Postdoctoral Fellowship. Her research focuses on distributed data processing, streaming computation, and large-scale graph analysis, with recent work emphasizing self-managed stream processing systems, secure collaborative analytics (via Multi-Party Computation), and scalable graph machine learning. Education includes a PhD (KTH/UCLouvain), MS (Polytechnic University of Catalonia), and undergraduate degrees from National Technical University of Athens (2010) and Polytechnic University of Catalonia (2012). She is a PMC member of Apache Flink and co-authored the textbook *Stream Processing with Apache Flink*. Her research contributions span foundational systems for stream processing (e.g., Strymon, CAPSys), secure analytics (SECRECY, TVA), and graph ML (GCNSplit, In situ Sampling). Awards include the ETH Zurich Postdoctoral Fellowship. She advises a team of PhD students focused on distributed systems and security. Teaching includes CS 551 (Streaming and Event-based Systems) and CS 210 (Computer Systems). Service roles include leadership in the BU-ACM Women student chapter and chairing the CS Graduate Awards Committee. Her work appears in top venues like OSDI, NSDI, EuroSys, and VLDB.

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

مدرس ارشد

• Cybersecurity
• Privacy-Preserving Systems
• Machine Learning for Security
• +۵ مورد دیگر

Dr. Muhammad Ikram is a Senior Lecturer in Cybersecurity at Macquarie University's School of Computing, affiliated with the Information Security and Privacy (ISP) group and the Macquarie Cybersecurity Hub (MCHUB). His research focuses on privacy/security in mobile/Web platforms, leveraging machine learning for fraud detection and vulnerability analysis. He holds a PhD in Electrical Engineering from UNSW, a Master's from Ajou University, and a Bachelor's from UET Peshawar. Ikram has published 64+ works in top conferences/journals like Usenix Security, NDSS, and ACM TOPS. His notable contributions include analyzing iOS app vulnerabilities, tracking prevention mechanisms, and mobile health app privacy risks. He received the Best Paper Award at AsiaCCS 2019 and Outstanding Paper at Mobiquitous 2021. Research Interests: Mobile/Web Security, Malware Detection, Privacy-Preserving Systems Grants: Led projects on network security, telecommunications obligations, and cybersecurity hubs Media Impact: Featured in The Guardian and over 50 outlets for work on web resource loading (~11M audience reach) Service Roles: Technical Program Committee member at WWW/PETS, reviewer for CCS/PETS He previously held roles as a Postdoc at University of Michigan and Research Scientist at Data61. His work bridges academic research with real-world impact in cybersecurity policy and industry standards.

Reza Rezaeian Farashahiمشاهده پروفایل

استادیار

• Cryptography
• Elliptic Curve Cryptography
• Arithmetic Geometry
• +۳ مورد دیگر

Reza Rezaeian Farashahi is an Assistant Professor of Mathematical Sciences at Isfahan University of Technology . His research focuses on cryptographic algorithms with a strong emphasis on elliptic and hyperelliptic curve cryptography, arithmetic geometry, and number theory. He specializes in optimizing cryptographic operations through algebraic methods and hardware implementations. His work includes advancements in elliptic curve arithmetic (e.g., Montgomery curves, twisted Edwards curves), hardware designs for cryptographic systems (VLSI, ASIC applications), and secure encoding schemes for elliptic curves. Notable contributions include faster addition laws, differential addition techniques, and efficient finite field operations over GF(2^m). Farashahi has published extensively in top-tier journals and conferences, addressing topics such as cryptographic efficiency, algebraic geometry applications, and hardware-software co-design for cryptographic primitives. His research bridges theoretical mathematics with applied cryptography, aiming to enhance security and computational performance in real-world systems. He advises no currently listed students and has no reported scientific awards in the provided texts. However, his work reflects a strong dedication to advancing cryptographic foundations through interdisciplinary approaches.

• Digital Microelectronics
• Computer Engineering
• Computer Arithmetic
• +۴ مورد دیگر

Associate Professor Braden Phillips is the Deputy Dean of Learning and Teaching in the Faculty of Sciences, Engineering and Technology at the University of Adelaide. He holds a joint appointment in the School of Electrical and Electronic Engineering. His academic career includes roles as a lecturer at Cardiff University (2000–2002) and founding partner of Current Dynamics, an electronic hardware design venture. Phillips specializes in digital microelectronics and computer engineering, with research focusing on computer arithmetic, cognitive computing architectures, and high-level digital logic synthesis. He has contributed to educational scholarship through work on active learning, scalable assessment, and inclusive pedagogy. His supervisory record includes over a dozen PhD students in areas spanning embedded systems, reconfigurable computing, and low-power design. Phillips’ research has been published in leading journals and conferences, addressing challenges in hardware optimization and algorithmic efficiency. Education: PhD in Computer Engineering (thesis: 'An Optimised Implementation of Public Key Cryptography for Smart Card Processors') Teaching: Coordinated courses in analog/digital electronics, embedded systems, and microelectronics design. Affiliations: Adelaide Education Academy, Diversity and Inclusion in Teaching Community of Practice. Research Themes: His work bridges hardware design and educational innovation, with recent emphasis on cognitive architectures and curriculum design. Key contributions include approximate computing methodologies, decimal floating-point arithmetic implementations, and minimal-weight digit conversion algorithms.

Thomas Puschmannمشاهده پروفایل

پژوهشگر

• FinTech
• Sustainable Finance
• Blockchain Technology
• +۳ مورد دیگر

Thomas Puschmann is a Researcher at the University of Zurich's Department of Finance and concurrently holds a Professorship at the University of the Fraser Valley in Vancouver, Canada. He serves as Director of the Swiss FinTech Innovation Lab, focusing on advancing digital finance solutions. His teaching includes courses like 'FinTech & InsurTech – Digitization of the Financial Services Industry' (starting October 2025). His research spans FinTech, sustainable finance, blockchain technologies, and climate change mitigation in financial systems. Education & Affiliations: PhD (Dr. title) Affiliated with the University of Zurich and University of the Fraser Valley Research Interests: FinTech Innovation & Regulatory Frameworks Blockchain Applications in Finance Sustainable Digital Finance Taxonomies Climate Change Mitigation via Financial Mechanisms BigTech's Impact on Financial Services Publications Trends: Recent work emphasizes green fintech research agendas, decentralized finance taxonomies, and the transformative role of technology in reshaping global financial systems by 2030. His 2024 Springer publication 'Financial System 2030' explores digitalization and regulatory dynamics. Advising & Grants: No formal advisees listed; however, his lab fosters collaborative research projects with industry partners. Funding sources include academic and private sector collaborations. Labs & Teams: Leads the Swiss FinTech Innovation Lab, a hub for applied research in digital finance innovation, bridging academia and industry.

Danny Yuxing Huangمشاهده پروفایل

استادیار

• Usable Security
• Privacy
• Networking
• +۳ مورد دیگر

Danny Yuxing Huang is an Assistant Professor at the NYU Tandon School of Engineering, affiliated with the Departments of Electrical and Computer Engineering and Computer Science and Engineering. He is also associated with the NYU Center for Cybersecurity (CCS), the Center for Urban Science + Progress (CUSP), and the Center for Advanced Technology in Telecommunications (CATT). His research focuses on the security and privacy of consumer-facing technologies, particularly Internet-of-Things (IoT) devices and smart homes. Before joining NYU, he was a postdoctoral fellow at Princeton University. He holds a Ph.D. in Computer Science from UC San Diego and a BA in Computer Science from Williams College. His research interests include usable security and privacy for non-experts, networking, and systems. Notable projects include IoT Inspector , a crowdsourced platform for analyzing smart home device traffic, and RouterSense , a health monitoring system using network data. He explores topics such as privacy negotiation in rentals, IoT device vulnerabilities, and ethical AI applications in security. His work has been featured in news articles highlighting privacy threats in smart homes and K-12 schools. Huang’s contributions span interdisciplinary collaborations across cybersecurity, urban science, and telecommunications. He actively engages in public discourse on cybersecurity education and policy through the NYU CCS.

• Concurrency and Mobility
• Security
• Computational Models for Biological Systems
• +۳ مورد دیگر

Pierpaolo Degano is a full Professor at the Dipartimento di Informatica of Università di Pisa since November 1990. He served as Department Head (1993-1996) and currently chairs the Computer Science PhD program within the Galileo Galilei School of Excellence. His roles include Vice-Chair of the 'Galileo Galilei' School (since 2009), Chairman of the Italian Committee for PhD Programs in Computer Science (since 2007), and member of the Scientific Committee of CoSBi (Microsoft Research - University of Trento Centre for Computational and Systems Biology). Education: Extensive academic background inferred from his professorship and leadership roles Research Interests: Focuses on operational methods in concurrency, semantics of programming languages, security, program verification, and computational models for biological systems. His work bridges theoretical foundations with practical applications in distributed systems and formal methods. Publications: Over 200 papers on theoretical computer science, including seminal works on concurrency semantics, mobile processes, and security protocols. Recent contributions emphasize causal semantics, abstract machines for performance evaluation, and formal analysis techniques. Grants & Projects: Led national and EU projects like DEGAS (FET), SENSORIA (FET), and participated in ESPRIT initiatives. Engaged in multiple research collaborations with institutions like Hewlett-Packard and Microsoft Research. Labs/Teams: Co-director of CoSBi, focusing on computational systems biology, and leader of the Operational Methods in Concurrency research group.

Chadni Islamمشاهده پروفایل

مدرس

• Cyber Security
• Software Engineering
• Machine Learning
• +۵ مورد دیگر

Dr Chadni Islam is a Lecturer in the School of Computer Science at Queensland University of Technology (QUT), specializing in Cyber Security and Software Development. She holds a PhD from the University of Adelaide. Her research focuses on cybersecurity, software supply chain attacks, machine learning applications in security, and NLP techniques in software debugging. Dr. Islam has contributed to frameworks for post-quantum cryptography migration, dynamic threat hunting, and security tool orchestration. Her work includes developing datasets like QUT-DV25 for analyzing next-gen software supply chain attacks, and tools such as DySec for detecting malicious packages in the PyPI ecosystem. She has published extensively on topics like API misuse detection, system-level bug reproduction, and risk assessment frameworks. Dr. Islam’s research bridges theoretical advancements with practical cybersecurity challenges, emphasizing automation, tool integration, and threat intelligence. Her articles reflect a strong focus on real-world applications, including improving software supply chain resilience and enhancing security through machine learning.

Elinor Carmiمشاهده پروفایل

مدرس ارشد

• Data Politics
• Data Justice
• Digital Literacies
• +۱۲ مورد دیگر

Dr. Elinor Carmi is a Senior Lecturer in Data Politics and Social Justice at the Department of Sociology & Criminology , School of Policy and Global Affairs , City, University of London . She is also the Co-Director of the MSc Data, Policy and Society and serves as Associate Dean for Postgraduate Research. Her research sits at the intersection of data politics, digital rights, feminist media studies, and social justice, with a strong focus on data literacies, disinformation, and platform governance. Dr. Carmi holds a PhD from Goldsmiths, University of London, an M.A. from Tel Aviv University, and a B.A. from College of Management Academic Studies, Israel. Her academic journey includes postdoctoral and teaching roles at the University of Liverpool, Royal Holloway, and Goldsmiths. Her research interests span data citizenship , critical data studies , feminist critiques of digital consent , algorithmic accountability , and sound studies as a framework for understanding media power. She has developed key concepts such as processed listening and rhythmedia to analyze how platforms like Facebook engineer sociality and filter behavior. Her recent work emphasizes resistance to big tech, digital inclusion, and the development of societal immunity to misinformation. Her publications and funded projects reveal a strong trend toward interdisciplinary, policy-relevant research. She has led and collaborated on major grants from UKRI, ESRC, Nuffield Foundation, and Google, focusing on digital living standards, fake news immunity, and responsible AI education. Her recent articles explore feminist epistemologies in media, cyber espionage (e.g., Pegasus), and the political use of chatbots. Expert Member, UK Information Commissioner’s Office (ICO) Technology Advisory Panel (2024–present) Trustee, Media and Information Literacy Alliance (2024–present) Open Fellow, Weizenbaum Institute (2024) Parliamentary Academic Fellow, POST (2021–2023) Academic Editor, Internet Policy Review Dr. Carmi is an active public intellectual, advising organizations such as WHO, UNESCO, Amnesty International, and the Royal Society. She has testified before the UK House of Lords and contributed to high-impact policy reports, including the WHO’s Public Health Research Agenda for Managing Infodemics . She mentors PhD students and leads collaborative research teams focused on digital equity and resistance. She is also involved in public engagement, frequently appearing in media and delivering talks at institutions like MIT. Her work bridges academia, policy, and activism, with a clear commitment to democratizing data and challenging structural inequalities in digital systems.

Philipp G. Haselwarterمشاهده پروفایل

پژوهشگر

• Programming Languages
• Logic
• Security
• +۷ مورد دیگر

Philipp G. Haselwarter is a researcher at the Department of Computer Science, School of Science and Technology, Aarhus University, Denmark. His work centers on programming languages, logic, and security, with significant contributions to formal verification and probabilistic programming. His research interests include: Programming Languages Logic Security Cryptography Formal Verification Probabilistic Programming His recent publications focus on higher-order separation logic, error bounds in probabilistic programs, and foundational verification of cryptographic systems. The work shows a strong trend toward rigorous, logic-based methods for ensuring correctness and security in complex software systems, particularly in concurrent and probabilistic settings. He has no listed scientific awards in the provided data. There is no information available about student advising or research grants. He is not noted as leading any specific lab or research team, though his publications suggest active collaboration within the formal methods community.

• Cryptography
• Formal Verification
• High-Speed Computing
• +۳ مورد دیگر

Benjamin Salling Hvass is affiliated with Aarhus University and has contributed to the CPP track at POPL 2024 with the publication titled 'The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography.' His research focuses on cryptography and formal verification methods. Research Interests Cryptography Formal Verification High-Speed Computing Software Security Contributions In 2024, Hvass presented his work on foundational cryptographic verification, emphasizing secure and efficient software implementation.

Cătălin Hrițcuمشاهده پروفایل

استاد

• Formal Methods for Security
• Secure Compilation
• Compartmentalization
• +۱۵ مورد دیگر

Cătălin Hrițcu is a tenured faculty member and head of the Formally Verified Security group at the Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany. His work bridges programming languages, formal verification, and systems security, with a strong focus on developing foundational methods for secure compilation and verified systems. His research interests include formal methods for security, programming languages, and the design and verification of security-critical systems. Specifically, he works on secure compilation, compartmentalization, memory safety, information flow control, security protocols, program verification, proof assistants (especially F*), dependent types, formal semantics, mechanized metatheory, and property-based testing. His research group develops techniques to ensure that high-assurance verified code remains secure when interacting with untrusted or weakly-typed components. The recent publications show a consistent focus on foundational verification of security properties, particularly in the context of the F* language and secure compilation. Key themes include secure interoperability between verified and unverified code, end-to-end verification of cryptographic implementations, and formal proofs of compiler correctness. His work often combines deep theoretical insight with practical implementation, targeting real-world systems like CHERI and high-speed cryptography. Scientific awards include: ERC Starting Grant on formally secure compilation Hrițcu has advised numerous students and researchers, though specific names are not listed in the source. He has led significant research grants, notably the ERC Starting Grant, which supports foundational work in secure compilation. His leadership extends to major conferences where he has served as program chair, steering committee chair, and organizing committee member across POPL, ICFP, CPP, and PriSC. He leads the Formally Verified Security group at MPI-SP, which focuses on building and verifying secure systems using formal methods. The group actively contributes to the F* verification system and works on projects involving secure compilation chains, reference monitors, and tagged architectures.

• Coding Theory
• Algebraic Geometry Codes
• Finite Fields
• +۷ مورد دیگر

Hans Olav Geil is a Professor and Pro-dean at the Faculty of Engineering and Science , Aalborg University , Denmark, affiliated with the Department of Mathematical Sciences . He is actively engaged in research, academic leadership, and educational innovation, particularly in coding theory and engineering education. University: Aalborg University School: Faculty of Engineering and Science Department: Department of Mathematical Sciences Email: prodekan-eng-udd@aau.dk ORCID: 0000-0002-9666-3399 Website: http://people.math.aau.dk/~olav Geil's research centers on algebraic coding theory , with significant contributions to affine variety codes , quantum codes , network coding , and finite fields . His work bridges theoretical mathematics and practical applications in data transmission and cryptography. He has developed methods for code construction, decoding, and performance bounds, particularly using Gröbner bases and algebraic geometry. His recent publications (2020–2023) show a dual focus: (1) advanced coding techniques like Steane-enlargement of quantum codes and nested code pairs, and (2) educational research on project-based learning (PBL) , digital transformation, and microcredentials at Aalborg University. This reflects his leadership in both technical research and pedagogical innovation. The body of his work, including over 79 publications, demonstrates consistent contributions to IEEE Transactions on Information Theory , Designs, Codes and Cryptography , and Finite Fields and Their Applications . His research often involves collaborations with experts in coding and cryptography. Geil has supervised several PhD students and is involved in multiple research projects. Though no specific awards are listed in the text, his editorial roles and sustained publication record indicate recognition in the academic community. He leads initiatives like the Vision-in-Practice Project , aiming to transform engineering education through structured frameworks and continuous improvement. His work supports interdisciplinary, problem-based learning models central to Aalborg University’s educational philosophy.