A Tutorial-Style Introduction to DY*

Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 19/11/2021, Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Dougherty, D., Meseguer, J., Mödersheim, S. A. & Rowe, P. (eds.). Cham: Springer, p. 77-97 21 p. (Lecture Notes in Computer Science ; vol. 13066).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Layered Symbolic Security Analysis in DY*

Bhargavan, K., Bichhawat, A., Hosseyni, P., Küsters, R., Pruiksma, K., Schmitz, G., Waldmann, C. & Würtele, T., 12/01/2024, Computer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, 2023, Proceedings. Tsudik, G., Conti, M., Liang, K. & Smaragdakis, G. (eds.). p. 3-21 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14346 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

The genetic iceberg.

Bhardwaj, A., 2006, New technologies in health care : challenge, change and innovation. Webster, A. J. (ed.). Basingstoke: Palgrave, p. 11-24 14 p. (Health, technology, and society).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Biobanks, genomics and databases: a question of attribution.

Bhardwaj, M., 2004, Challenges for bioethics from Asia. Macer, D. R. J. (ed.). Christchurch, N.Z.: Eubios Ethics Institute, p. 212-217 6 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Genetically modified foods/ethics of genetic engineering.

Bhardwaj, M., 2004, Bioethics for informed citizens across cultures. Macer, D. R. J. (ed.). Christchurch, N.Z.: Eubios Ethics Institute, p. 98-103 6 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter