Search results for "Trust"

Hits ?▲	Authors	Title	Venue	Year	Link
23	Jon Doyle, Michael McGeachie	Exercising Qualitative Control in Autonomous Adaptive Survivable Systems.	IWSAS	2001	DBLP DOI BibTeX RDF
23	Kevin Tiba, Reza M. Parizi, Qi Zhang 0009, Ali Dehghantanha, Hadis Karimipour, Kim-Kwang Raymond Choo	Secure Blockchain-Based Traffic Load Balancing Using Edge Computing and Reinforcement Learning.	Blockchain Cybersecurity, Trust and Privacy	2020	DBLP DOI BibTeX RDF
23	Reza M. Parizi, Ali Dehghantanha, Amin Azmoodeh, Kim-Kwang Raymond Choo	Blockchain in Cybersecurity Realm: An Overview.	Blockchain Cybersecurity, Trust and Privacy	2020	DBLP DOI BibTeX RDF
23	Kelly Click, Amritraj Singh, Reza M. Parizi, Gautam Srivastava 0001, Ali Dehghantanha	Immutable and Secure IP Address Protection Using Blockchain.	Blockchain Cybersecurity, Trust and Privacy	2020	DBLP DOI BibTeX RDF
23	Amritraj Singh, Reza M. Parizi, Meng Han, Ali Dehghantanha, Hadis Karimipour, Kim-Kwang Raymond Choo	Public Blockchains Scalability: An Examination of Sharding and Segregated Witness.	Blockchain Cybersecurity, Trust and Privacy	2020	DBLP DOI BibTeX RDF
23	Randhir Kumar, Rakesh Tripathi	Secure Healthcare Framework Using Blockchain and Public Key Cryptography.	Blockchain Cybersecurity, Trust and Privacy	2020	DBLP DOI BibTeX RDF
23	Gautam Srivastava 0001, Reza M. Parizi, Ali Dehghantanha	The Future of Blockchain Technology in Healthcare Internet of Things Security.	Blockchain Cybersecurity, Trust and Privacy	2020	DBLP DOI BibTeX RDF
23	Liyuan Liu, Meng Han, Yiyun Zhou, Reza M. Parizi, Mohammed Korayem	Blockchain-Based Certification for Education, Employment, and Skill with Incentive Mechanism.	Blockchain Cybersecurity, Trust and Privacy	2020	DBLP DOI BibTeX RDF
23	Melody Moh, David Nguyen, Teng-Sheng Moh, Brian Khieu	Blockchain for Efficient Public Key Infrastructure and Fault-Tolerant Distributed Consensus.	Blockchain Cybersecurity, Trust and Privacy	2020	DBLP DOI BibTeX RDF
23	Gabriel Bello, Alfredo J. Perez	On the Application of Financial Security Standards in Blockchain Platforms.	Blockchain Cybersecurity, Trust and Privacy	2020	DBLP DOI BibTeX RDF
23	Carl R. Worley, Lu Yu 0001, Richard R. Brooks, Jon Oakley, Anthony Skjellum, Amani Altarawneh, Sai Medury, Ujan Mukhopadhyay	Scrybe: A Second-Generation Blockchain Technology with Lightweight Mining for Secure Provenance and Related Applications.	Blockchain Cybersecurity, Trust and Privacy	2020	DBLP DOI BibTeX RDF
23	Ahmad Sghaier Omar, Otman Basir	Capability-Based Non-fungible Tokens Approach for a Decentralized AAA Framework in IoT.	Blockchain Cybersecurity, Trust and Privacy	2020	DBLP DOI BibTeX RDF
23	Hossein Mohammadi Rouzbahani, Hadis Karimipour, Ali Dehghantanha, Reza M. Parizi	Blockchain Applications in Power Systems: A Bibliometric Analysis.	Blockchain Cybersecurity, Trust and Privacy	2020	DBLP DOI BibTeX RDF
23	Ala Ekramifard, Haleh Amintoosi, Amin Hosseini Seno, Ali Dehghantanha, Reza M. Parizi	A Systematic Literature Review of Integration of Blockchain and Artificial Intelligence.	Blockchain Cybersecurity, Trust and Privacy	2020	DBLP DOI BibTeX RDF
23	Suvini P. Amaraweera, Malka N. Halgamuge	Internet of Things in the Healthcare Sector: Overview of Security and Privacy Issues.	Security, Privacy and Trust in the IoT Environment	2019	DBLP DOI BibTeX RDF
23	N. Ambika	Energy-Perceptive Authentication in Virtual Private Networks Using GPSGPS Data.	Security, Privacy and Trust in the IoT Environment	2019	DBLP DOI BibTeX RDF
23	Matluba Khodjaeva, Muath Obaidat, Douglas Salane	Mitigating Threats and Vulnerabilities of RFID in IoT Through Outsourcing Computations for Public Key Cryptography.	Security, Privacy and Trust in the IoT Environment	2019	DBLP DOI BibTeX RDF
23	G. A. Pramesha Chandrasiri, Malka N. Halgamuge, C. Subhashi Jayasekara	A Comparative Study in the Application of IoT in Health Care: Data Security in Telemedicine.	Security, Privacy and Trust in the IoT Environment	2019	DBLP DOI BibTeX RDF
23	Leila Benarous, Benamar Kadri	A Novel Privacy Preserving Scheme for Cloud-Enabled Internet of Vehicles Users.	Security, Privacy and Trust in the IoT Environment	2019	DBLP DOI BibTeX RDF
23	Soham Bandyopadhyay, Sunil Karforma	Securing Packet Transmission Through Trusted Shortest Network Path Using Fuzzy Forecasting for Mobility of MANET Nodes.	Security, Privacy and Trust in the IoT Environment	2019	DBLP DOI BibTeX RDF
23	Ugur Can Atasoy, Arif Sari	Multidisciplinary Intel Fusion Technique for Proactive Cyber-Intelligence Model for the IoT.	Security, Privacy and Trust in the IoT Environment	2019	DBLP DOI BibTeX RDF
23	Stephen Kwamena Aikins	Managing CybersecurityCybersecurity Risks of SCADASCADA Networks of Critical InfrastructuresCritical Infrastructures in the IoT Environment.	Security, Privacy and Trust in the IoT Environment	2019	DBLP DOI BibTeX RDF
23	Arif Sari	Countering the IoT-Powered Volumetric Cyberattacks with Next-Generation Cyber-Firewall: SeddulbahirSeddulbahir \b.	Security, Privacy and Trust in the IoT Environment	2019	DBLP DOI BibTeX RDF
23	R. Santhiya Devi, John Bosco Balaguru Rayappan, Rengarajan Amirtharajan, Padmapriya Praveenkumar	A Novel Quantum Encryption and Authentication Framework Integrated with IoT.	Security, Privacy and Trust in the IoT Environment	2019	DBLP DOI BibTeX RDF
23	Hisham Salah, Mohamed Eltoweissy	Personalised reconfigurable trust management.	Int. J. Trust. Manag. Comput. Commun.	2018	DBLP DOI BibTeX RDF
23	Robin Cohen, Murat Sensoy, Timothy J. Norman (eds.)	Proceedings of the 20th International Trust Workshop co-located with AAMAS/IJCAI/ECAI/ICML 2018, Stockholm, Sweden, July 14, 2018.	TRUST@AAMAS	2018	DBLP BibTeX RDF
23	Qi Zhang 0038, Edmund H. Durfee, Satinder Singh 0001	Challenges in the Trustworthy Pursuit of Maintenance Commitments Under Uncertainty.	TRUST@AAMAS	2018	DBLP BibTeX RDF
23	Rino Falcone, Alessandro Sapienza	Community Dynamics in case of Critical Hydrogeological Phenomena: Some Simulated Scenarios.	TRUST@AAMAS	2018	DBLP BibTeX RDF
23	Timotheus Kampik, Juan Carlos Nieves, Helena Lindgren	Coercion and Deception in Persuasive Technologies.	TRUST@AAMAS	2018	DBLP BibTeX RDF
23	Alison R. Panisson, Stefan Sarkadi, Peter McBurney, Simon Parsons, Rafael H. Bordini	Lies, Bullshit, and Deception in Agent-Oriented Programming Languages.	TRUST@AAMAS	2018	DBLP BibTeX RDF
23	Albert Rego, Christos Gkountis, Laura García, Jaime Lloret 0001	A new proposal for trust management in wireless sensor networks based on validation.	Int. J. Trust. Manag. Comput. Commun.	2017	DBLP DOI BibTeX RDF
23	Eric D. Kameni, Theo P. van der Weide	Intrusion detection in a trust-based recommendation system.	Int. J. Trust. Manag. Comput. Commun.	2017	DBLP DOI BibTeX RDF
23	Kapil Sharma, Brijesh Kumar Chaurasia, Shekhar Verma, Arpita Bhargava	Trust computation in VANET using TOEFV.	Int. J. Trust. Manag. Comput. Commun.	2017	DBLP DOI BibTeX RDF
23	Jie Zhang 0002, Zeinab Noorian, Stephen Marsh 0001 (eds.)	Incentives and Trust in Electronic Communities, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016.	AAAI Workshop: Incentives and Trust in Electronic Communities	2016	DBLP BibTeX RDF
23	Robin Cohen, Rino Falcone, Timothy J. Norman (eds.)	Proceedings of the 17th International Workshop on Trust in Agent Societies co-located with the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), Paris, France, May 6, 2014.	TRUST@AAMAS	2016	DBLP BibTeX RDF
23	Jie Zhang 0002, Robin Cohen, Murat Sensoy (eds.)	Proceedings of the 18th International Workshop on Trust in Agent Societies co-located with the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016), Singapore, Singapore, May 10, 2016.	TRUST@AAMAS	2016	DBLP BibTeX RDF
23	Renita Margaret Murimi	An Analysis of Trimming in Digital Social Networks.	AAAI Workshop: Incentives and Trust in Electronic Communities	2016	DBLP BibTeX RDF
23	Guangquan Xu, Yan Cao, Yao Zhang, Gaoxu Zhang, Xiaohong Li 0001, Zhiyong Feng 0002	TRM: Computing Reputation Score by Mining Reviews.	AAAI Workshop: Incentives and Trust in Electronic Communities	2016	DBLP BibTeX RDF
23	Alan Davoust, Babak Esfandiari	User Participation and Honesty in Online Rating Systems: What a Social Network Can Do.	AAAI Workshop: Incentives and Trust in Electronic Communities	2016	DBLP BibTeX RDF
23	Edmund H. Durfee, Satinder Singh 0001	On the Trustworthy Fulfillment of Commitments.	TRUST@AAMAS	2016	DBLP BibTeX RDF
23	Qikun Xiang, Ido Nevat, Pengfei Zhang 0001, Jie Zhang 0002	Collusion-resistant Spatial Phenomena Crowdsourcing via Mixture of Gaussian Processes Regression.	TRUST@AAMAS	2016	DBLP BibTeX RDF
23	Alessandro Sapienza, Rino Falcone	How to Manage the Information Sources' Trustworthiness in a Scenario of Hydrogeological Risks.	TRUST@AAMAS	2016	DBLP BibTeX RDF
23	Nardine Osman 0001, Carles Sierra	Reputation in the Academic World.	TRUST@AAMAS	2016	DBLP BibTeX RDF
23	Jared Oluoch	A theoretical framework for trust management in vehicular ad hoc networks.	Int. J. Trust. Manag. Comput. Commun.	2015	DBLP DOI BibTeX RDF
23	V. Geetha, K. Chandrasekaran	TFSR: trust factors evaluation-based secure routing protocol for wireless sensor network.	Int. J. Trust. Manag. Comput. Commun.	2015	DBLP DOI BibTeX RDF
23	Soon-Keow Chong, Jemal H. Abawajy	Mitigating malicious feedback attacks in trust management systems.	Int. J. Trust. Manag. Comput. Commun.	2015	DBLP DOI BibTeX RDF
23	Zeinab Noorian, Jie Zhang 0001, Stephen Marsh 0001, Christian Damsgaard Jensen (eds.)	Incentive and Trust in E-Communities, Papers from the 2015 AAAI Workshop, Austin, Texas, USA, January 25, 2015.	AAAI Workshop: Incentive and Trust in E-Communities	2015	DBLP BibTeX RDF
23	Marit Hansen, Hannah Obersteller, Kai Rannenberg, Fatbardh Veseli	Establishment and Prospects of Privacy-ABCs.	Attribute-based Credentials for Trust	2015	DBLP DOI BibTeX RDF
23	Michael Østergaard Pedersen, Gert Læssøe Mikkelsen, Fatbardh Veseli, Ahmad Sabouri, Tsvetoslava Vateva-Gurova	Comparison of Mechanisms.	Attribute-based Credentials for Trust	2015	DBLP DOI BibTeX RDF
23	Kai Rannenberg, Welderufael Tesfay, Ahmad Sabouri	Introduction.	Attribute-based Credentials for Trust	2015	DBLP DOI BibTeX RDF
23	Yannis C. Stamatiou, Zinaida Benenson, Anna Girard, Ioannis Krontiris, Vasiliki Liagkou, Apostolos Pyrgelis, Welderufael Tesfay	Course Evaluation in Higher Education: the Patras Pilot of ABC4Trust.	Attribute-based Credentials for Trust	2015	DBLP DOI BibTeX RDF
23	Patrik Bichsel, Jan Camenisch, Maria Dubovitskaya, Robert R. Enderlein, Stephan Krenn, Anja Lehmann, Gregory Neven, Franz-Stefan Preiss	Cryptographic Protocols Underlying Privacy-ABCs.	Attribute-based Credentials for Trust	2015	DBLP DOI BibTeX RDF
23	Patrik Bichsel, Jan Camenisch, Maria Dubovitskaya, Robert R. Enderlein, Stephan Krenn, Ioannis Krontiris, Anja Lehmann, Gregory Neven, Christian Paquin, Franz-Stefan Preiss, Kai Rannenberg, Ahmad Sabouri	An Architecture for Privacy-ABCs.	Attribute-based Credentials for Trust	2015	DBLP DOI BibTeX RDF
23	Joerg Abendroth, Marit Hansen, Ioannis Krontiris, Ahmad Sabouri, Eva Schlehahn, Robert Seidl, Harald Zwingelberg	Privacy-ABC Usage Scenarios.	Attribute-based Credentials for Trust	2015	DBLP DOI BibTeX RDF
23	Gert Læssøe Mikkelsen, Kasper Damgård, Hans Guldager, Jonas Lindstrøm Jensen, Jesus Luna Garcia, Janus Dam Nielsen, Pascal Paillier, Giancarlo Pellegrino, Michael Bladt Stausholm, Neeraj Suri, Heng Zhang 0009	Technical Implementation and Feasibility.	Attribute-based Credentials for Trust	2015	DBLP DOI BibTeX RDF
23	Ahmad Sabouri, Souheil Bcheri, Jimm Lerch, Eva Schlehahn, Welderufael Tesfay	School Community Interaction Platform: the Soderhamn Pilot of ABC4Trust.	Attribute-based Credentials for Trust	2015	DBLP DOI BibTeX RDF
23	Norbert Götze, Daniel Deibler, Robert Seidl	Experiences and Feedback from the Pilots.	Attribute-based Credentials for Trust	2015	DBLP DOI BibTeX RDF
23	Marit Hansen, Felix Bieker, Daniel Deibler, Hannah Obersteller, Eva Schlehahn, Harald Zwingelberg	Legal Data Protection Considerations.	Attribute-based Credentials for Trust	2015	DBLP DOI BibTeX RDF
23	Kai Rannenberg, Jan Camenisch, Ahmad Sabouri, Welderufael Tesfay	Further Challenges.	Attribute-based Credentials for Trust	2015	DBLP DOI BibTeX RDF
23	Itai Feigenbaum, Jay Sethuraman	Strategyproof Mechanisms for One-Dimensional Hybrid and Obnoxious Facility Location Models.	AAAI Workshop: Incentive and Trust in E-Communities	2015	DBLP BibTeX RDF
23	A. Pravin Renold, S. Geethanjali	A trust-based AODV routing protocol for improved QoS in mobile ad-hoc networks.	Int. J. Trust. Manag. Comput. Commun.	2014	DBLP DOI BibTeX RDF
23	Mrutyunjaya Panda, Ajith Abraham	Development of a reliable trust management model in social internet of things.	Int. J. Trust. Manag. Comput. Commun.	2014	DBLP DOI BibTeX RDF
23	Shaik Sahil Babu, Arnab Raha, Omar Alfandi, Dieter Hogrefe, Mrinal Kanti Naskar	Trust integrated node potential aware routing for WSNs.	Int. J. Trust. Manag. Comput. Commun.	2014	DBLP DOI BibTeX RDF
23	Al-Sakib Khan Pathan	Editorial article: On the boundaries of trust and security in computing and communications systems.	Int. J. Trust. Manag. Comput. Commun.	2014	DBLP DOI BibTeX RDF
23	Grigori Fursin, Bruce R. Childers, Alex K. Jones, Daniel Mossé (eds.)	Proceedings of the 1st ACM SIGPLAN Workshop on Reproducible Research Methodologies and New Publication Models in Computer Engineering, TRUST 2014, Edinburgh, United Kingdom, June 9-11, 2014	TRUST@PLDI	2014	DBLP DOI BibTeX RDF
23	Yves Janin, Cédric Vincent, Rémi Duraffort	CARE, the comprehensive archiver for reproducible execution.	TRUST@PLDI	2014	DBLP DOI BibTeX RDF
23	Grigori Fursin, Christophe Dubach	Community-driven reviewing and validation of publications.	TRUST@PLDI	2014	DBLP DOI BibTeX RDF
23	Dennis Gamayunov	Falsifiability of network security research: the good, the bad, and the ugly.	TRUST@PLDI	2014	DBLP DOI BibTeX RDF
23	Raphael Poss, Sebastian Altmeyer, Mark Thompson, Rob Jelier	Academia 2.0: removing the publisher middle-man while retaining impact.	TRUST@PLDI	2014	DBLP DOI BibTeX RDF
23	Shoaib Sufi, Neil P. Chue Hong, Simon Hettrick, Mario Antonioletti, Stephen Crouch, Alexander Hay, Devasena Inupakutika, Mike Jackson 0003, Aleksandra Pawlik, Giacomo Peru, John Robinson, Les Carr, David De Roure, Carole A. Goble, Mark Parsons 0001	Software in reproducible research: advice and best practice collected from experiences at the collaborations workshop.	TRUST@PLDI	2014	DBLP DOI BibTeX RDF
23	Surya Nepal, Cécile Paris, Sanat Kumar Bista, Wanita Sherchan	A trust model-based analysis of social networks.	Int. J. Trust. Manag. Comput. Commun.	2013	DBLP DOI BibTeX RDF
23	Punam Bedi, V. Aakanksha, Richa Sharma	Trust and context view-based knowledge sharing in MANets.	Int. J. Trust. Manag. Comput. Commun.	2013	DBLP DOI BibTeX RDF
23	K. Senthil Kumar, Debi Prasanna Acharjya, Arunkumar Thangavelu	Trust evaluation using fuzzy proximity relation with ordering for MANET.	Int. J. Trust. Manag. Comput. Commun.	2013	DBLP DOI BibTeX RDF
23	Sabrina Nusrat, Julita Vassileva	Simulating a trust-based service recommender system for decentralised user modelling environment.	Int. J. Trust. Manag. Comput. Commun.	2013	DBLP DOI BibTeX RDF
23		Trust and Autonomous Systems, Papers from the 2013 AAAI Spring Symposium, Palo Alto, California, USA, March 25-27, 2013	AAAI Spring Symposium: Trust and Autonomous Systems	2013	DBLP BibTeX RDF
23	Donald A. Sofge, Geert-Jan M. Kruijff, William F. Lawless	Preface.	AAAI Spring Symposium: Trust and Autonomous Systems	2013	DBLP BibTeX RDF
23	Joseph B. Lyons	Being Transparent about Transparency: A Model for Human-Robot Interaction.	AAAI Spring Symposium: Trust and Autonomous Systems	2013	DBLP BibTeX RDF
23	Geert-Jan M. Kruijff	Trusting in Human-Robot Teams Given Asymmetric Agency and Social Sentience.	AAAI Spring Symposium: Trust and Autonomous Systems	2013	DBLP BibTeX RDF
23	Alan R. Wagner	Developing Robots that Recognize When They Are Being Trusted.	AAAI Spring Symposium: Trust and Autonomous Systems	2013	DBLP BibTeX RDF
23	Gilles Barthe, Anupam Datta, Sandro Etalle (eds.)	Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers	Formal Aspects in Security and Trust	2012	DBLP DOI BibTeX RDF
23	Amir K. C, Harri Forsgren, Kaj Grahn, Timo Karvi, Göran Pulkkis	Security and Trust of Public Key Cryptography for HIP and HIP Multicast.	Int. J. Dependable Trust. Inf. Syst.	2011	DBLP DOI BibTeX RDF
23	Pierpaolo Degano, Sandro Etalle, Joshua D. Guttman (eds.)	Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
23	Timothy L. Hinrichs, William C. Garrison III, Adam J. Lee, Skip Saunders, John C. Mitchell	TBA : A Hybrid of Logic and Extensional Access Control Systems.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
23	Behnam Sattarzadeh, Mehran S. Fallah	Is Cryptyc Able to Detect Insider Attacks?	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
23	Thomas Gibson-Robinson, Gavin Lowe	Analysing Applications Layered on Unilaterally Authenticating Protocols.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
23	Luciano Bello, Eduardo Bonelli	On-the-Fly Inlining of Dynamic Dependency Monitors for Secure Information Flow.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
23	Simon N. Foley, Samane Abdi	Avoiding Delegation Subterfuge Using Linked Local Permission Names.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
23	Barbara Espinoza, Geoffrey Smith 0001	Min-Entropy Leakage of Channels in Cascade.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
23	Robert Grabowski, Martin Hofmann 0001, Keqin Li 0002	Type-Based Enforcement of Secure Programming Guidelines - Code Injection Prevention at SAP.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
23	Willem De Groef, Dominique Devriese, Frank Piessens	Better Security and Privacy for Web Browsers: A Survey of Techniques, and a New Implementation.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
23	Ben Smyth, Mark Ryan 0001, Liqun Chen 0002	Formal Analysis of Anonymity in ECC-Based Direct Anonymous Attestation Schemes.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
23	Mohammad Torabi Dashti, Jan Cederquist, Yanjing Wang 0001	Risk Balance in Optimistic Non-repudiation Protocols.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
23	Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis 0001, Pierpaolo Degano, Catuscia Palamidessi	Differential Privacy: On the Trade-Off between Utility and Information Leakage.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
23	Riccardo Focardi, Flaminia L. Luccio	Secure Recharge of Disposable RFID Tickets.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
23	Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl	Verifiable Control Flow Policies for Java Bytecode.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
23	Sibylle B. Fröschle, Nils Sommer	Concepts and Proofs for Configuring PKCS#11.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
23	Richard Gay, Heiko Mantel, Barbara Sprick	Service Automata.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
23	Mihhail Aizatulin, François Dupressoir, Andrew D. Gordon 0001, Jan Jürjens	Verifying Cryptographic Code in C: Some Experience and the Csec Challenge.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
23	Sebastian Mödersheim	Diffie-Hellman without Difficulty.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
23	Conghui Liu	Human-Machine Trust Interaction: A Technical Overview.	Int. J. Dependable Trust. Inf. Syst.	2010	DBLP DOI BibTeX RDF