Search results for "Definitions"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Anupam Das 0002, Lukas Melgaard	Cyclic Proofs for Arithmetical Inductive Definitions.	FSCD	2023	DBLP DOI BibTeX RDF
12	Alfredo Cuzzocrea, Selim Soufargi	QFLS: A Cloud-Based Framework for Supporting Big Healthcare Data Management and Analytics from Big Data Lakes: Definitions, Requirements, Models and Techniques.	DATA	2023	DBLP DOI BibTeX RDF
12	Jakub Bulín, Michael Kompatscher	Short Definitions in Constraint Languages.	MFCS	2023	DBLP DOI BibTeX RDF
12	Alessandro Berti, Daniel Schuster 0001, Wil M. P. van der Aalst	Abstractions, Scenarios, and Prompt Definitions for Process Mining with LLMs: A Case Study.	Business Process Management Workshops	2023	DBLP DOI BibTeX RDF
12	Anna Yi Leung, Xenia Schmalz	In search of proxy measures of heterogeneity in conceptual definitions: A cognitive linguistic perspective.	CogSci	2023	DBLP BibTeX RDF
12	Yunxiao Zhou, Shengli Liu 0001, Shuai Han 0001, Haibin Zhang	Fine-Grained Proxy Re-encryption: Definitions and Constructions from LWE.	ASIACRYPT (6)	2023	DBLP DOI BibTeX RDF
12	Ce Zheng, Yiming Wang, Baobao Chang	Query Your Model with Definitions in FrameNet: An Effective Method for Frame Semantic Role Labeling.	AAAI	2023	DBLP DOI BibTeX RDF
12	Olivia Doggett, Kelly Bronson, Robert Soden	HCI Research on Agriculture: Competing Sociotechnical Imaginaries, Definitions, and Opportunities.	CHI	2023	DBLP DOI BibTeX RDF
12	Luigi Procopio, Simone Conia, Edoardo Barba, Roberto Navigli	Entity Disambiguation with Entity Definitions.	EACL	2023	DBLP DOI BibTeX RDF
12	Danilo Silva de Carvalho, Giangiacomo Mercatali, Yingji Zhang, André Freitas	Learning Disentangled Representations for Natural Language Definitions.	EACL (Findings)	2023	DBLP DOI BibTeX RDF
12	Minhao Qiu, Peter Bazan, Tobias Antesberger, Reinhard German	Improved Sensor Error Definitions for Reliability Analysis of Multi-Sensor Systems.	ICSRS	2023	DBLP DOI BibTeX RDF
12	Jesús Lovón-Melgarejo, José G. Moreno 0001, Romaric Besançon, Olivier Ferret, Lynda Tamine	Reconnaissance d'Entités Nommées fondée sur des Modèles de Langue Enrichis avec des Définitions des Types d'Entités.	CORIA-TALN	2023	DBLP BibTeX RDF
12	Suvradip Chakraborty, Manoj Prabhakaran 0001, Daniel Wichs	A Map of Witness Maps: New Definitions and Connections.	Public Key Cryptography (2)	2023	DBLP DOI BibTeX RDF
12	Irene Morazzoni, Vincenzo Scotti 0001, Roberto Tedesco	Def2Vec: Extensible Word Embeddings from Dictionary Definitions.	ICNLSP	2023	DBLP BibTeX RDF
12	Thibaut Benajmin, Julien Signoles	Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking.	TAP	2023	DBLP DOI BibTeX RDF
12	Stefan A. Wiesner, Jannicke Baalsrud Hauge, Klaus-Dieter Thoben	Smart Product-Service System Definitions and Elements - Relationship to Sustainability.	APMS (2)	2023	DBLP DOI BibTeX RDF
12	Junzuo Lai, Gongxian Zeng, Zhengan Huang, Siu Ming Yiu, Xin Mu, Jian Weng 0001	Asymmetric Group Message Franking: Definitions and Constructions.	EUROCRYPT (5)	2023	DBLP DOI BibTeX RDF
12	Arthur Rodrigues Soares de Quadros, Sarah Luiza de Souza Magalhães, Giulia Zanon de Castro, Jéssica Assunção da Almeida de Lima, Wladmir Cardoso Brandão, Alessandro Garcia Vieira	Impacts of Social Factors in Wage Definitions.	WEBIST	2023	DBLP DOI BibTeX RDF
12	Youri Peskine, Damir Korencic, Ivan Grubisic 0002, Paolo Papotti, Raphaël Troncy, Paolo Rosso	Definitions Matter: Guiding GPT for Multi-label Classification.	EMNLP (Findings)	2023	DBLP DOI BibTeX RDF
12	François Remy, Kris Demuynck, Thomas Demeester	Automatic Glossary of Clinical Terminology: a Large-Scale Dictionary of Biomedical Definitions Generated from Ontological Knowledge.	BioNLP@ACL	2023	DBLP DOI BibTeX RDF
12	Agi Kurucz, Frank Wolter, Michael Zakharyaschev	Definitions and (Uniform) Interpolants in First-Order Modal Logic.	KR	2023	DBLP DOI BibTeX RDF
12	Jiaying Liu 0010, Yan Zhang 0005, Yeolib Kim	Consumer Health Information Quality, Credibility, and Trust: An Analysis of Definitions, Measures, and Conceptual Dimensions.	CHIIR	2023	DBLP DOI BibTeX RDF
12	Morgane Goibert, Clément Calauzènes, Ekhine Irurozki, Stéphan Clémençon	Robust Consensus in Ranking Data Analysis: Definitions, Properties and Computational Issues.	ICML	2023	DBLP BibTeX RDF
12	Yivan Zhang, Masashi Sugiyama	A Category-theoretical Meta-analysis of Definitions of Disentanglement.	ICML	2023	DBLP BibTeX RDF
12	Fan Yin, Jesse Vig, Philippe Laban, Shafiq Joty, Caiming Xiong, Chien-Sheng Wu	Did You Read the Instructions? Rethinking the Effectiveness of Task Definitions in Instruction Learning.	ACL (1)	2023	DBLP DOI BibTeX RDF
12	Hwiyeol Jo	A Self-Supervised Integration Method of Pretrained Language Models and Word Definitions.	ACL (Findings)	2023	DBLP DOI BibTeX RDF
12	Sunjae Kwon, Rishabh Garodia, Minhwa Lee, Zhichao Yang 0001, Hong Yu 0001	Vision Meets Definitions: Unsupervised Visual Word Sense Disambiguation Incorporating Gloss Information.	ACL (1)	2023	DBLP DOI BibTeX RDF
12	Mariarosaria Taddeo, Alexander Blanchard	A Comparative Analysis of the Definitions of Autonomous Weapons Systems.	Sci. Eng. Ethics	2022	DBLP DOI BibTeX RDF
12	Aya Khaled Youssef Sayed Mohamed, Dagmar Auer, Daniel Hofer, Josef Küng	A systematic literature review for authorization and access control: definitions, strategies and models.	Int. J. Web Inf. Syst.	2022	DBLP DOI BibTeX RDF
12	Ana Perisic 0001, Dubravka Sisak Jung, Marko Pahor	Churn in the mobile gaming field: Establishing churn definitions and measuring classification similarities.	Expert Syst. Appl.	2022	DBLP DOI BibTeX RDF
12	Hernane Borges de Barros Pereira, Marcos Grilo Rosa, Inácio de Sousa Fadigas, Cleônidas Tavares de Souza Junior, Marcelo do Vale Cunha, Renata Souza Freitas Dantas Barreto, Júlia Carvalho Andrade, Trazíbulo Henrique	Systematic review of the "semantic network" definitions.	Expert Syst. Appl.	2022	DBLP DOI BibTeX RDF
12	Alcides Gonçalves Lopes Junior, Joel Luis Carbonera, Daniela Schimdt, Mara Abel	Predicting the top-level ontological concepts of domain entities using word embeddings, informal definitions, and deep learning.	Expert Syst. Appl.	2022	DBLP DOI BibTeX RDF
12	Samar Binkheder, Heng-Yi Wu, Sara K. Quinney, Shijun Zhang, Md. Muntasir Zitu, Chienwei Chiang, Lei Wang, Josette Jones, Lang Li 0001	PhenoDEF: a corpus for annotating sentences with information of phenotype definitions in biomedical literature.	J. Biomed. Semant.	2022	DBLP DOI BibTeX RDF
12	Samar Binkheder, Heng-Yi Wu, Sara K. Quinney, Shijun Zhang, Md. Muntasir Zitu, Chienwei Chiang, Lei Wang, Josette Jones, Lang Li 0001	Correction: PhenoDEF: a corpus for annotating sentences with information of phenotype definitions in biomedical literature.	J. Biomed. Semant.	2022	DBLP DOI BibTeX RDF
12	Dejarvis Oliver, Adriane B. Randolph	Hacker Definitions in Information Systems Research.	J. Comput. Inf. Syst.	2022	DBLP DOI BibTeX RDF
12	Shofiyati Nur Karimah, Shinobu Hasegawa	Automatic engagement estimation in smart education/learning settings: a systematic review of engagement definitions, datasets, and methods.	Smart Learn. Environ.	2022	DBLP DOI BibTeX RDF
12	Ana Fernández-Montes de Oca, Adrián Ghilardi, Edith Kauffer, José Alberto Gallardo-Cruz, Juan Manuel Núñez, Victor Sánchez-Cordero	Harmonizing Definitions and Methods to Estimate Deforestation at the Lacandona Tropical Region in Southern Mexico.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
12	Heyang Song, Dongdong Kong, Li Xiong 0017, Xihui Gu, Jianyu Liu	Inter-Comparison of Diverse Heatwave Definitions in the Analysis of Spatiotemporally Contiguous Heatwave Events over China.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
12	Ben Smyth, Michael R. Clarkson	Surveying definitions of election verifiability.	Inf. Process. Lett.	2022	DBLP DOI BibTeX RDF
12	Chong Shen 0003, Xiaoyong Xi, Xiaoquan Xu, Dongsheng Zhao	Hofmann-Mislove type definitions of non-Hausdorff spaces.	Math. Struct. Comput. Sci.	2022	DBLP DOI BibTeX RDF
12	Abbas M. Al-Ghaili, Hairoladenan Kasim, Naif Mohammed Al-Hada, Zainuddin Bin Hassan, Marini Othman, Jakir Hussain Tharik, Rafiziana Md. Kasmani, Ibraheem Shayea	A Review of Metaverse's Definitions, Architecture, Applications, Challenges, Issues, Solutions, and Future Trends.	IEEE Access	2022	DBLP DOI BibTeX RDF
12	Malak Baslyman	Digital Transformation From the Industry Perspective: Definitions, Goals, Conceptual Model, and Processes.	IEEE Access	2022	DBLP DOI BibTeX RDF
12	Jessica Formosa, Nicholas O'Donnell, Ella M. Horton 0001, Selen Türkay, Regan L. Mandryk, Michael Hawks, Daniel Johnson 0001	Definitions of Esports: A Systematic Review and Thematic Analysis.	Proc. ACM Hum. Comput. Interact.	2022	DBLP DOI BibTeX RDF
12	Vincent P. Paglioni, Katrina M. Groth	Dependency definitions for quantitative human reliability analysis.	Reliab. Eng. Syst. Saf.	2022	DBLP DOI BibTeX RDF
12	Jun Li, Jie Su	Semantic Trajectory Frequent Pattern Mining Model: The Definitions and Theorems.	Int. J. Semantic Web Inf. Syst.	2022	DBLP DOI BibTeX RDF
12	Mathias Fleury, Armin Biere	Mining definitions in Kissat with Kittens.	Formal Methods Syst. Des.	2022	DBLP DOI BibTeX RDF
12	Ann Marie Navar, Irene Cosmatos, Stacey Purinton, Janet L. Ramsey, Robert J. Taylor, Rachel E. Sobel, Ginger Barlow, Gretchen S. Dieck, Michael L. Bulgrein, Eric D. Peterson	Using EHR data to identify coronavirus infections in hospitalized patients: Impact of case definitions on disease surveillance.	Int. J. Medical Informatics	2022	DBLP DOI BibTeX RDF
12	Anaïs Durand, Michel Raynal, Gadi Taubenfeld	Contention-related crash failures: Definitions, agreement algorithms, and impossibility results.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
12	Auriol Degbelo	FAIR geovisualizations: definitions, challenges, and the road ahead.	Int. J. Geogr. Inf. Sci.	2022	DBLP DOI BibTeX RDF
12	Jiasi Weng 0001, Shenglong Yao, Yuefeng Du 0001, Junjie Huang, Jian Weng 0001, Cong Wang 0001	Proof of Unlearning: Definitions and Instantiation.	CoRR	2022	DBLP DOI BibTeX RDF
12	John Kirchenbauer, Jacob Oaks, Eric Heim	What is Your Metric Telling You? Evaluating Classifier Calibration under Context-Specific Definitions of Reliability.	CoRR	2022	DBLP DOI BibTeX RDF
12	Arushi Gupta, Nikunj Saunshi, Dingli Yu, Kaifeng Lyu, Sanjeev Arora	New Definitions and Evaluations for Saliency Methods: Staying Intrinsic, Complete and Sound.	CoRR	2022	DBLP DOI BibTeX RDF
12	M. Z. Naser	Simplifying Causality: A Brief Review of Philosophical Views and Definitions with Examples from Economics, Education, Medicine, Policy, Physics and Engineering.	CoRR	2022	DBLP DOI BibTeX RDF
12	Thilo von Neumann, Christoph Böddeker, Keisuke Kinoshita, Marc Delcroix, Reinhold Haeb-Umbach	On Word Error Rate Definitions and their Efficient Computation for Multi-Speaker Speech Recognition Systems.	CoRR	2022	DBLP DOI BibTeX RDF
12	Fabio Massimo Zennaro	Abstraction between Structural Causal Models: A Review of Definitions and Properties.	CoRR	2022	DBLP DOI BibTeX RDF
12	Prabhanjan Ananth, Aditya Gulati, Luowen Qian, Henry Yuen	Pseudorandom (Function-Like) Quantum State Generators: New Definitions and Applications.	CoRR	2022	DBLP DOI BibTeX RDF
12	Adrien Merlini, Clément Henry, Davide Consoli, Lyes Rahmouni, Alexandre Dély, Francesco Paolo Andriulli	Laplacian Filtered Loop-Star Decompositions and Quasi-Helmholtz Laplacian Filters: Definitions, Analysis, and Efficient Algorithms.	CoRR	2022	DBLP DOI BibTeX RDF
12	Robin W. Na, Simon DeDeo	The Diversity of Argument-Making in the Wild: from Assumptions and Definitions to Causation and Anecdote in Reddit's "Change My View".	CoRR	2022	DBLP DOI BibTeX RDF
12	Angelo G. Menezes, Gustavo de Moura, Cézanne Alves, André C. P. L. F. de Carvalho	Continual Object Detection: A review of definitions, strategies, and challenges.	CoRR	2022	DBLP DOI BibTeX RDF
12	Mohammad Hossein Tabatabaei, Roman Vitenberg, Narasimha Raghavan Veeraragavan	Understanding blockchain: definitions, architecture, design, and system comparison.	CoRR	2022	DBLP DOI BibTeX RDF
12	Enes Altuncu, Virginia N. L. Franqueira, Shujun Li	Deepfake: Definitions, Performance Metrics and Standards, Datasets and Benchmarks, and a Meta-Review.	CoRR	2022	DBLP DOI BibTeX RDF
12	Reuth Mirsky, Ignacio Carlucho, Arrasy Rahman, Elliot Fosong, William Macke, Mohan Sridharan, Peter Stone, Stefano V. Albrecht	A Survey of Ad Hoc Teamwork: Definitions, Methods, and Open Problems.	CoRR	2022	DBLP BibTeX RDF
12	Weiyu Zhang, Gionnieve Lim, Simon T. Perrault, Chuyao Wang	A Review of Research on Civic Technology: Definitions, Theories, History and Insights.	CoRR	2022	DBLP DOI BibTeX RDF
12	Norman Danner	Recurrence extraction and denotational semantics with recursive definitions.	CoRR	2022	DBLP DOI BibTeX RDF
12	Sankha S. Basu, Sayantan Roy	Negation-Free Definitions of Paraconsistency.	NCL	2022	DBLP DOI BibTeX RDF
12	Wei Kang, Daniel M. Tartakovsky, Apoorv Srivastava	Feature-Informed Data Assimilation - Definitions and Illustrative Examples.	CoRR	2022	DBLP DOI BibTeX RDF
12	Georgian-Vlad Saioc, Hans Hüttel	A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages.	FROM	2022	DBLP DOI BibTeX RDF
12	Ludovico Boratto, Gianni Fenu, Mirko Marras, Giacomo Medda	Consumer Fairness in Recommender Systems: Contextualizing Definitions and Mitigations.	CoRR	2022	DBLP BibTeX RDF
12	Ce Zheng, Yiming Wang, Baobao Chang	Query Your Model with Definitions in FrameNet: An Effective Method for Frame Semantic Role Labeling.	CoRR	2022	DBLP DOI BibTeX RDF
12	Mario Alfonso Prado-Romero, Bardh Prenkaj, Giovanni Stilo, Fosca Giannotti	A Survey on Graph Counterfactual Explanations: Definitions, Methods, Evaluation.	CoRR	2022	DBLP DOI BibTeX RDF
12	Sina Ahmadi	Monolingual alignment of word senses and definitions in lexicographical resources.	CoRR	2022	DBLP DOI BibTeX RDF
12	Luigi Procopio, Simone Conia, Edoardo Barba, Roberto Navigli	Entity Disambiguation with Entity Definitions.	CoRR	2022	DBLP DOI BibTeX RDF
12	Marie Fortin, Boris Konev, Frank Wolter	Interpolants and Explicit Definitions in Extensions of the Description Logic EL.	CoRR	2022	DBLP BibTeX RDF
12	Urja Khurana, Ivar E. Vermeulen, Eric T. Nalisnick, Marloes van Noorloos, Antske Fokkens	Hate Speech Criteria: A Modular Approach to Task-Specific Hate Speech Definitions.	CoRR	2022	DBLP DOI BibTeX RDF
12	Georgios Symeonidis, Evangelos Nerantzis, Apostolos Kazakis, George A. Papakostas	MLOps - Definitions, Tools and Challenges.	CoRR	2022	DBLP BibTeX RDF
12	François Remy, Kris Demuynck, Thomas Demeester	BioLORD: Learning Ontological Representations from Definitions (for Biomedical Concepts and their Textual Descriptions).	CoRR	2022	DBLP DOI BibTeX RDF
12	Tom Hirschowitz, Ambroise Lafont	A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on.	CoRR	2022	DBLP DOI BibTeX RDF
12	Denis Newman-Griffis, Jessica Sage Rauchberg, Rahaf Alharbi, Louise Hickman, Harry Hochheiser	Alternative models: Critical examination of disability definitions in the development of artificial intelligence technologies.	CoRR	2022	DBLP DOI BibTeX RDF
12	Morgane Goibert, Stéphan Clémençon, Ekhine Irurozki, Pavlo Mozharovskyi	Statistical Depth Functions for Ranking Distributions: Definitions, Statistical Learning and Applications.	CoRR	2022	DBLP BibTeX RDF
12	Tony Y. Sun, Shreyas Bhave, Jaan Altosaar, Noémie Elhadad	Assessing Phenotype Definitions for Algorithmic Fairness.	CoRR	2022	DBLP DOI BibTeX RDF
12	Mnacho Echenim, Nicolas Peltier	A Proof Procedure For Separation Logic With Inductive Definitions and Theory Reasoning.	CoRR	2022	DBLP BibTeX RDF
12	Danilo S. Carvalho, Giangiacomo Mercatali, Yingji Zhang, André Freitas	Learning Disentangled Representations for Natural Language Definitions.	CoRR	2022	DBLP DOI BibTeX RDF
12	Keehang Kwon	Evolving Recursive Definitions with Applications to Dynamic Programming.	CoRR	2022	DBLP DOI BibTeX RDF
12	James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer	Implicit Definitions with Differential Equations for KeYmaera X (System Description).	CoRR	2022	DBLP DOI BibTeX RDF
12	Ramtin Madani, Mersedeh Ashraphijuo, Mohsen Kheirandishfard, Alper Atamtürk	Parabolic Relaxation for Quadratically-constrained Quadratic Programming - Part I: Definitions & Basic Properties.	CoRR	2022	DBLP DOI BibTeX RDF
12	Sarah Al Ayyash, Maura McAdam, Colm O'Gorman	Towards a New Perspective on the Heterogeneity of Business Incubator-Incubation Definitions.	IEEE Trans. Engineering Management	2022	DBLP DOI BibTeX RDF
12	Dayong Wang, Jing Huang 0016, Yejun Xu	Matrix representation of stability definitions in the graph model for conflict resolution with grey-based preferences.	Discret. Appl. Math.	2022	DBLP DOI BibTeX RDF
12	Jingzhi Yu, Jennifer A. Pacheco, Anika S. Ghosh, Yuan Luo 0001, Chunhua Weng, Ning Shang, Barbara Benoit, David S. Carrell, Robert J. Carroll, Ozan Dikilitas, Robert R. Freimuth, Vivian S. Gainer, Hakon Hakonarson, George Hripcsak, Iftikhar J. Kullo, Frank D. Mentch, Shawn N. Murphy, Peggy L. Peissig, Andrea H. Ramirez, Nephi Walton, Wei-Qi Wei, Luke V. Rasmussen	Under-specification as the source of ambiguity and vagueness in narrative phenotype algorithm definitions.	BMC Medical Informatics Decis. Mak.	2022	DBLP DOI BibTeX RDF
12	Alexander Clemm, Laurent Ciavaglia, Lisandro Zambenedetti Granville, Jeff Tantsura	Intent-Based Networking - Concepts and Definitions.	RFC	2022	DBLP DOI BibTeX RDF
12	Pushpendra Singh 0002, Amit Singhal 0002, Binish Fatimah, Anubha Gupta, Shiv Dutt Joshi	Proper Definitions of Dirichlet Conditions and Convergence of Fourier Representations [Lecture Notes].	IEEE Signal Process. Mag.	2022	DBLP DOI BibTeX RDF
12	Russell G. Miller, Alexandra Shlapentokh	On existential definitions of c.e. subsets of rings of functions of characteristic 0.	Ann. Pure Appl. Log.	2022	DBLP DOI BibTeX RDF
12	Prabhanjan Ananth, Aditya Gulati, Luowen Qian, Henry Yuen	Pseudorandom (Function-Like) Quantum State Generators: New Definitions and Applications.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
12	Ben Smyth, Michael R. Clarkson	Surveying definitions of election verifiability.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
12	Sayandeep Saha, Mustafa Khairallah, Thomas Peyrin	Exploring Integrity of AEADs with Faults: Definitions and Constructions.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
12	Jason A. Clark, Helen K. R. Williams, Doralyn Rossmann	Wikidata and knowledge graphs in practice: Using semantic SEO to create discoverable, accessible, machine-readable definitions of the people, places, and services in Libraries and Archives.	Inf. Serv. Use	2022	DBLP DOI BibTeX RDF
12	Hugo J. T. van Mens, Savine S. M. Martens, Elisabeth H. M. Paiman, Alexander C. Mertens, Remko Nienhuis, Nicolette F. de Keizer, Ronald Cornet	Diagnosis clarification by generalization to patient-friendly terms and definitions: Validation study.	J. Biomed. Informatics	2022	DBLP DOI BibTeX RDF
12	Hamza Hanbali, Daniël Linders	Monotone tail functions: Definitions, properties, and application to risk-reducing strategies.	J. Comput. Appl. Math.	2022	DBLP DOI BibTeX RDF
12	Shane Lubold, Clark N. Taylor	Formal definitions of conservative probability distribution functions (PDFs).	Inf. Fusion	2022	DBLP DOI BibTeX RDF
12	Natalia Mikula, Tom Dörffel, Daniel Baum, Hans-Christian Hege	An Interactive Approach for Identifying Structure Definitions.	Comput. Graph. Forum	2022	DBLP DOI BibTeX RDF
12	Sayandeep Saha, Mustafa Khairallah, Thomas Peyrin	Exploring Integrity of AEADs with Faults: Definitions and Constructions.	IACR Trans. Symmetric Cryptol.	2022	DBLP DOI BibTeX RDF