カーリルで「author:Datta, Anupam」を検索

お気に入り図書館を設定すると、貸出状況が表示されますエリアを選ぶ現在地から探す

Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers (Lecture Notes in Computer Science, 7140)

Barthe, Gilles／Datta, Anupam／Etalle, Sandro

Analysis Techniques for Information Security (Synthesis Lectures on Information Security, Privacy, and Trust)

Datta, Anupam／Jha, Somesh／Li, Ninghui／Melski, David／Reps, Thomas

Identifying and Mitigating the Security Risks of Generative AI (Foundations and Trends® in Privacy and Security)

Barrett, Clark／Boyd, Brad／Bursztein, Elie／Carlini, Nicholas／Chen, Brad／Choi, Jihye／Roy Chowdhury, Amrita／Christodorescu, Mihai／Datta, Anupam／Feizi, Soheil／Fisher, Kathleen／Hashimoto, Tatsunori／Hendrycks, Dan／Jha, Somesh／Kang, Daniel／Kerschbaum, Florian／Mitchell, Eric／Mitchell, John／Ramzan, Zulfikar／Shams, Khawaja／Song, Dawn／Taly, Ankur／Yang, Diyi

Advances in computer science -- ASIAN 2009 : information security and privacy : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009 : proceedings

Anupam Datta (ed.)

Analysis techniques for information security

Anupam Datta, ... [et al.]