Search results for "Verifiability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
78	Lucie Langer, Melanie Volkamer, Stefan G. Weber, Axel Schmidt 0001, Johannes Buchmann 0001	Towards long-term free and secret electronic elections providing voter-verifiability in the bulletin board model.	ICEGOV	2009	DBLP DOI BibTeX RDF	long-term anonymity, electronic voting, security requirements, verifiability
59	Sriperumbuduru Kandala Simhalu, Keiji Takeda	Browser Based Agile E-Voting System.	ASIAN	2007	DBLP DOI BibTeX RDF	Individual Verifiability, Agile Voting, Anonymity, E-Voting
59	Jun Furukawa 0001, Kazue Sako	An Efficient Publicly Verifiable Mix-Net for Long Inputs.	Financial Cryptography	2006	DBLP DOI BibTeX RDF	Hybrid-mix, efficient, public verifiability, multiple encryption
59	Ik Rae Jeong, Hee Yun Jeong, Hyun Sook Rhee, Dong Hoon Lee 0001, Jong In Lim 0001	Provably Secure Encrypt-then-Sign Composition in Hybrid Signcryption.	ICISC	2002	DBLP DOI BibTeX RDF	encrypt-then-sign, authenticity, confidentiality, non-repudiation, signcryption, authenticated encryption, public verifiability
52	Sherman S. M. Chow, Siu-Ming Yiu, Lucas Chi Kwong Hui, Kam-Pui Chow	Efficient Forward and Provably Secure ID-Based Signcryption Scheme with Public Verifiability and Public Ciphertext Authenticity.	ICISC	2003	DBLP DOI BibTeX RDF	Identity-based signcryption, public ciphertext authenticity, network security, provable security, firewalls, elliptic curve cryptosystems, public key cryptosystems, forward security, semantical security, cryptographic primitives, public verifiability
52	Byoungcheon Lee, Kwangjo Kim, Joongsoo Ma	Efficient Public Auction with One-Time Registration and Public Verifiability.	INDOCRYPT	2001	DBLP DOI BibTeX RDF	public auction, English auction, one-time registration, signature of knowledge, anonymous signature scheme, anonymity, hash chain, public verifiability
46	Orhan Cetinkaya	Analysis of Security Requirements for Cryptographic Voting Protocols (Extended Abstract).	ARES	2008	DBLP DOI BibTeX RDF	e-voting requirements, voting problem, electronic voting, verifiability, receipt-freeness
44	Antony Tang, Jun Han 0004	Architecture Rationalization: A Methodology for Architecture Verifiability, Traceability and Completeness.	ECBS	2005	DBLP DOI BibTeX RDF
44	Changjie Wang, Ho-fung Leung	A Secure and Fully Private Borda Voting Protocol with Universal Verifiability.	COMPSAC	2004	DBLP DOI BibTeX RDF	Borda voting protocol, universal verification, Security, Privacy protection, Electronic voting, ElGamal encryption
44	George J. Milne	Design for Verifiability.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF
40	Zhuo Hao, Sheng Zhong 0002, Nenghai Yu	A Privacy-Preserving Remote Data Integrity Checking Protocol with Data Dynamics and Public Verifiability.	IEEE Trans. Knowl. Data Eng.	2011	DBLP DOI BibTeX RDF	data dynamics, privacy, Data integrity, public verifiability
40	Ralf Küsters, Tomasz Truderung, Andreas Vogt 0001	Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	privacy, voting, protocol analysis, verifiability, coercion-resistance
37	Peter B. Rønne, Peter Y. A. Ryan, Marie-Laure Zollinger	Electryo, In-person Voting with Transparent Voter Verifiability and Eligibility Verifiability.	CoRR	2021	DBLP BibTeX RDF
34	Yu-Fang Chung, Tzer-Shyong Chen, Yu-Ting Chen, Chiu-Chan Lee, Szu-Wen Wang	An Agent-Based English Auction Protocol Using Elliptic Curve Cryptosystem for Mobile Commerce.	ICA3PP	2009	DBLP DOI BibTeX RDF	English auction protocol, Mobile agent, anonymity, elliptic curve cryptosystem, public verifiability
34	Christian Bunse	Using patterns for the refinement and translationof UML models: A controlled experiment.	Empir. Softw. Eng.	2006	DBLP DOI BibTeX RDF	UML, Patterns, Empirical evaluation, Understandability, Verifiability
34	Isamu Teranishi, Kazue Sako	k-Times Anonymous Authentication with a Constant Proving Cost.	Public Key Cryptography	2006	DBLP DOI BibTeX RDF	k-times anonymous authentication, efficiency, public verifiability
34	Magdalena Payeras-Capellà, Josep Lluís Ferrer-Gomila, Llorenç Huguet i Rotger	Anonymous Payment in a Fair E-Commerce Protocol with Verifiable TTP.	TrustBus	2005	DBLP DOI BibTeX RDF	Electronic coins, Anonymity, Atomicity, Fair exchange, Verifiability
34	Kun Peng, Colin Boyd, Ed Dawson, Byoungcheon Lee	An Efficient and Verifiable Solution to the Millionaire Problem.	ICISC	2004	DBLP DOI BibTeX RDF	millionaire problem, zero test, batch equation, efficiency, verifiability
34	Jun Furukawa 0001, Kazue Sako	An Efficient Scheme for Proving a Shuffle.	CRYPTO	2001	DBLP DOI BibTeX RDF	Universal Verifiability, Permutation, Electronic Voting, Mix-net
34	Masayuki Abe	Universally Verifiable Mix-net with Verification Work Indendent of the Number of Mix-servers.	EUROCRYPT	1998	DBLP DOI BibTeX RDF	Universal Verifiability, Electronic Voting, Mix-net
31	Qian Wang 0002, Cong Wang 0001, Jin Li 0002, Kui Ren 0001, Wenjing Lou	Enabling Public Verifiability and Data Dynamics for Storage Security in Cloud Computing.	ESORICS	2009	DBLP DOI BibTeX RDF
31	Wen Chen 0001, Feiyu Lei	An Efficient Multi-sender Identity Based Threshold Signcryption with Public Verifiability.	PDCAT	2007	DBLP DOI BibTeX RDF
25	Hovav Shacham, Brent Waters	Compact Proofs of Retrievability.	ASIACRYPT	2008	DBLP DOI BibTeX RDF
25	Mehdi Talbi, Benjamin Morin, Valérie Viet Triem Tong, Adel Bouhoula, Mohamed Mejri	Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study.	ICICS	2008	DBLP DOI BibTeX RDF
25	Orhan Cetinkaya, Ali Doganaksoy	A Practical Verifiable e-Voting Protocol for Large Scale Elections over a Network.	ARES	2007	DBLP DOI BibTeX RDF
25	Takuya Mishina, Sachiko Yoshihama, Michiharu Kudo	Fine-Grained Sticky Provenance Architecture for Office Documents.	IWSEC	2007	DBLP DOI BibTeX RDF
25	Changjie Wang, Ho-fung Leung	A secure voter-resolved approval voting protocol over internet.	ICEC	2005	DBLP DOI BibTeX RDF	approval voting, universal verification, voter-resolved, security, privacy protection, electronic voting, ElGamal encryption
25	Íñigo Ugarte, Pablo Sanchez	Assertion Checking of Behavioral Descriptions with Non-linear Solver.	ICCD	2005	DBLP DOI BibTeX RDF
25	Tianjie Cao, Dongdai Lin, Rui Xue 0001	ID-Based Ring Authenticated Encryption.	AINA	2005	DBLP DOI BibTeX RDF
25	Seung-Hyun Seo, Sang-Ho Lee	A Secure and Flexible Multi-signcryption Scheme.	ICCSA (4)	2004	DBLP DOI BibTeX RDF	Signcryption, multi-signature
25	Aggelos Kiayias, Moti Yung	Non-interactive Zero-Sharing with Applications to Private Distributed Decision Making.	Financial Cryptography	2003	DBLP DOI BibTeX RDF	Veto, Simultaneous Disclosure, Privacy, Electronic Voting, Distributed Decision Making, Proofs of Knowledge
25	Peter McBurney, Simon Parsons	Engineering Democracy in Open Agent Systems.	ESAW	2003	DBLP DOI BibTeX RDF
25	Ronald Cramer, Ivan Damgård, Ueli M. Maurer	General Secure Multi-party Computation from any Linear Secret-Sharing Scheme.	EUROCRYPT	2000	DBLP DOI BibTeX RDF
21	Fahad Ahmed, Asif Masood, Firdous Kausar	An Efficient Multi Recipient Signcryption Scheme Offering Non Repudiation.	CIT	2010	DBLP DOI BibTeX RDF	Non-repudiation, Signcryption, Discrete Logarithm Problem, Public verifiability, Diffie-Hellman Problem
21	Chun-Ta Li, Min-Shiang Hwang, Yan-Chi Lai	A Verifiable Electronic Voting Scheme over the Internet.	ITNG	2009	DBLP DOI BibTeX RDF	Security, Electronic voting, Blind signature, Verifiability, Cryptosystem
21	André Zúquete, Filipe Almeida	Verifiable anonymous vote submission.	SAC	2008	DBLP DOI BibTeX RDF	innocuous vote receipt, anonymity, verifiability, e-voting, receipt-freeness
21	Kamer Kaya, Ali Aydin Selçuk	A Verifiable Secret Sharing Scheme Based on the Chinese Remainder Theorem.	INDOCRYPT	2008	DBLP DOI BibTeX RDF	joint random secret sharing, Asmuth-Bloom secret sharing scheme, Chinese Remainder Theorem, Verifiability
21	Ke Zeng	Publicly Verifiable Remote Data Integrity.	ICICS	2008	DBLP DOI BibTeX RDF	integrity, pairing, public verifiability, data outsourcing
21	C. Richard Ho, Michael Theobald, Martin M. Deneroff, Ron O. Dror, Joseph Gagliardo, David E. Shaw	Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic.	DAC	2008	DBLP DOI BibTeX RDF	conditional coverage, inconclusive results, formal verification, code coverage, verifiability, coverage hole
21	Shane Greenstein	Wagging Wikipedia's long tail.	IEEE Micro	2007	DBLP DOI BibTeX RDF	admins, John Huchra, Patrick Stewart, Wikipedia, economics, verifiability
21	Christophe Tartary, Josef Pieprzyk, Huaxiong Wang	Verifiable Multi-secret Sharing Schemes for Multiple Threshold Access Structures.	Inscrypt	2007	DBLP DOI BibTeX RDF	Threshold Access Structures, Share Verifiability, Keyed One-Way Functions, Chinese Remainder Theorem, Secret Sharing Scheme
21	Yingjiu Li, Robert Huijie Deng	Publicly verifiable ownership protection for relational databases.	AsiaCCS	2006	DBLP DOI BibTeX RDF	ownership protection, relational database, watermark, certificate, public verifiability
21	Changjie Wang, Dickson K. W. Chiu, Ho-fung Leung	Anonymity and Security Support for Persistent Enterprise Conversation.	EDOC	2006	DBLP DOI BibTeX RDF	alias certificates, Anonymity, privacy protection, verifiability, anonymity revocation, cryptograph
21	C. Andrew Neff	A verifiable secret shuffle and its application to e-voting.	CCS	2001	DBLP DOI BibTeX RDF	honest-verifier, universal verifiability, verifiable mix, verifiable shuffle, zeroknowledge, permutation, electronic voting, mix-net, anonymous credentials
19	Mark Manulis, Jérôme Nguyen	Fully Homomorphic Encryption beyond IND-CCA1 Security: Integrity through Verifiability.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
19	Leo de Castro, Keewoo Lee	VeriSimplePIR: Verifiability in SimplePIR at No Online Cost for Honest Servers.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
19	Tamara Finogina, Javier Herranz	On remote electronic voting with both coercion resistance and cast-as-intended verifiability.	J. Inf. Secur. Appl.	2023	DBLP DOI BibTeX RDF
19	Edlira Dushku, Md Masoom Rabbani, Jo Vliegen, An Braeken, Nele Mentens	PROVE: Provable remote attestation for public verifiability.	J. Inf. Secur. Appl.	2023	DBLP DOI BibTeX RDF
19	Jintong Sun, Fucai Zhou, Qiang Wang 0005, Zi Jiao, Yun Zhang 0020	Flexible revocation and verifiability for outsourced Private Set Intersection computation.	J. Inf. Secur. Appl.	2023	DBLP DOI BibTeX RDF
19	Muntadher Sallal, Ruairí de Fréin, Ali Malik	PVPBC: Privacy and Verifiability Preserving E-Voting Based on Permissioned Blockchain.	Future Internet	2023	DBLP DOI BibTeX RDF
19	Duo Zhang 0004, Shangping Wang, Qian Zhang 0029, Yaling Zhang	Attribute Based Conjunctive Keywords Search With Verifiability and Fair Payment Using Blockchain.	IEEE Trans. Serv. Comput.	2023	DBLP DOI BibTeX RDF
19	Mohammad Reza Mousavi 0001, Ana Cavalcanti 0001, Michael Fisher 0001, Louise A. Dennis, Robert M. Hierons, Bilal Y. Kaddouh, Effie Lai-Chong Law, Robert C. Richardson, Jan Oliver Ringert, Ivan Tyukin, Jim Woodcock 0001	Trustworthy Autonomous Systems Through Verifiability.	Computer	2023	DBLP DOI BibTeX RDF
19	Cristhian Martinez-Rendon, José Luis González 0002, Dante D. Sánchez-Gallegos, Jesús Carretero 0001	CD/CV: Blockchain-based schemes for continuous verifiability and traceability of IoT data for edge-fog-cloud.	Inf. Process. Manag.	2023	DBLP DOI BibTeX RDF
19	Fabio Petroni, Samuel Broscheit, Aleksandra Piktus, Patrick S. H. Lewis, Gautier Izacard, Lucas Hosseini, Jane Dwivedi-Yu, Maria Lomeli, Timo Schick, Michele Bevilacqua, Pierre-Emmanuel Mazaré, Armand Joulin, Edouard Grave, Sebastian Riedel 0001	Improving Wikipedia verifiability with AI.	Nat. Mac. Intell.	2023	DBLP DOI BibTeX RDF
19	Tzuo Hann Law, Selman Erol, Lewis Tseng	Longest-chain Attacks: Difficulty Adjustment and Timestamp Verifiability.	CoRR	2023	DBLP DOI BibTeX RDF
19	Raymond Fok, Daniel S. Weld	In Search of Verifiability: Explanations Rarely Enable Complementary Performance in AI-Advised Decision Making.	CoRR	2023	DBLP DOI BibTeX RDF
19	Jan Willemson	Analyzing and Improving Eligibility Verifiability of the Proposed Belgian Remote Voting System.	CoRR	2023	DBLP DOI BibTeX RDF
19	Nai-Hui Chia, Honghao Fu, Fang Song 0001, Penghui Yao	A Cryptographic Perspective on the Verifiability of Quantum Advantage.	CoRR	2023	DBLP DOI BibTeX RDF
19	Johannes Müller 0001, Tomasz Truderung	A Protocol for Cast-as-Intended Verifiability with a Second Device.	CoRR	2023	DBLP DOI BibTeX RDF
19	Zhibo Xing, Zijian Zhang, Jiamou Liu, Ziang Zhang, Meng Li, Liehuang Zhu, Giovanni Russello	Zero-knowledge Proof Meets Machine Learning in Verifiability: A Survey.	CoRR	2023	DBLP DOI BibTeX RDF
19	Kobi Feldman, Martin Kellogg, Oscar Chaparro	On the Relationship between Code Verifiability and Understandability.	CoRR	2023	DBLP DOI BibTeX RDF
19	Sallam Abualhaija, Fatma Basak Aydemir, Fabiano Dalpiaz, Davide Dell'Anna, Alessio Ferrari 0001, Xavier Franch, Davide Fucci	Replication and Verifiability in Requirements Engineering: the NLP for RE Case.	CoRR	2023	DBLP DOI BibTeX RDF
19	Nelson F. Liu, Tianyi Zhang, Percy Liang	Evaluating Verifiability in Generative Search Engines.	CoRR	2023	DBLP DOI BibTeX RDF
19	Cong Yue, Meihui Zhang 0001, Changhao Zhu, Gang Chen 0001, Dumitrel Loghin, Beng Chin Ooi	VeriBench: Analyzing the Performance of Database Systems with Verifiability. (PDF / PS)	Proc. VLDB Endow.	2023	DBLP DOI BibTeX RDF
19	Jiayu Zhang	Revisiting Remote State Preparation with Verifiability: A New Set of Notions with Well-behaved Properties.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
19	Yunjiao Song, Xinrui Ge, Jia Yu	Privacy-preserving reachability query over graphs with result verifiability.	Comput. Secur.	2023	DBLP DOI BibTeX RDF
19	Mahroo Bahreinian, Roberto Tron	Localization Verifiability Under Outlier Measurements With Linear Programming.	IEEE Trans. Control. Netw. Syst.	2023	DBLP DOI BibTeX RDF
19	Tamara Finogina, Javier Herranz	Coercion-Resistant Cast-as-Intended Verifiability for Computationally Limited Voters.	FC Workshops	2023	DBLP DOI BibTeX RDF
19	Anggrio Sutopo, Thomas Haines, Peter B. Rønne	On the Auditability of the Estonian IVXV System - And an Attack on Individual Verifiability.	FC Workshops	2023	DBLP DOI BibTeX RDF
19	Cristhian Martinez-Rendon, José Luis González 0002, Dante D. Sánchez-Gallegos, Jesús Carretero 0001	Blockchain-based schemes for continuous verifiability and traceability of IoT data.	PDP	2023	DBLP DOI BibTeX RDF
19	Tzuo Hann Law, Selman Erol, Lewis Tseng	Poster: Timestamp Verifiability in Proof-of-Work.	MobiHoc	2023	DBLP DOI BibTeX RDF
19	Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang 0001	Election Verifiability in Receipt-Free Voting Protocols.	CSF	2023	DBLP DOI BibTeX RDF
19	Vincent Cheval, Véronique Cortier, Alexandre Debant	Election Verifiability with ProVerif.	CSF	2023	DBLP DOI BibTeX RDF
19	Jan Willemson	Analyzing and Improving Eligibility Verifiability of the Proposed Belgian Remote Voting System.	STM	2023	DBLP DOI BibTeX RDF
19	Lukas Hondrich, Hannah Ruschemeier	Addressing Automation Bias through Verifiability.	EWAF	2023	DBLP BibTeX RDF
19	Kobi Feldman, Martin Kellogg, Oscar Chaparro	On the Relationship between Code Verifiability and Understandability.	ESEC/SIGSOFT FSE	2023	DBLP DOI BibTeX RDF
19	Nelson F. Liu, Tianyi Zhang, Percy Liang	Evaluating Verifiability in Generative Search Engines.	EMNLP (Findings)	2023	DBLP DOI BibTeX RDF
19	Christian Killer	Privacy and Verifiability in Decentralized Electronic Voting Systems.		2023	RDF
19	Mohamad Mansouri	Performance and Verifiability of IoT Security Protocols. (Performance et vérifiabilité des protocoles de sécurité IoT).		2023	RDF
19	Sevdenur Baloglu	Formal Verification of Verifiability in E-Voting Protocols.		2023	RDF
19	Shuang Hu, Renjun Zhang, Fuqun Wang, Kefei Chen, Bin Lian, Gongliang Chen	A sanitizable signcryption scheme with public verifiability via chameleon hash function.	J. Inf. Secur. Appl.	2022	DBLP DOI BibTeX RDF
19	Biwen Chen, Xue Li, Tao Xiang 0001, Peng Wang	SBRAC: Blockchain-based sealed-bid auction with bidding price privacy and public verifiability.	J. Inf. Secur. Appl.	2022	DBLP DOI BibTeX RDF
19	Ben Smyth, Michael R. Clarkson	Surveying definitions of election verifiability.	Inf. Process. Lett.	2022	DBLP DOI BibTeX RDF
19	Liqiang Wu, Xiaoyuan Yang 0002, Minqing Zhang, Xu An Wang 0001	IB-VPRE: adaptively secure identity-based proxy re-encryption scheme from LWE with re-encryption verifiability.	J. Ambient Intell. Humaniz. Comput.	2022	DBLP DOI BibTeX RDF
19	Weiqi Dai, Shuyue Tuo, Liangliang Yu, Kim-Kwang Raymond Choo, Deqing Zou, Hai Jin 0001	HAPPS: A Hidden Attribute and Privilege-Protection Data-Sharing Scheme With Verifiability.	IEEE Internet Things J.	2022	DBLP DOI BibTeX RDF
19	Mahender Kumar, Satish Chand	A Provable Secure and Lightweight Smart Healthcare Cyber-Physical System With Public Verifiability.	IEEE Syst. J.	2022	DBLP DOI BibTeX RDF
19	Steven Umbrello, Roman V. Yampolskiy	Designing AI for Explainability and Verifiability: A Value Sensitive Design Approach to Avoid Artificial Stupidity in Autonomous Vehicles.	Int. J. Soc. Robotics	2022	DBLP DOI BibTeX RDF
19	Jiawen Xiong, Yong Shi 0010, Boyuan Chen 0002, Filipe Roseiro Côgo, Zhen Ming Jiang	Towards Build Verifiability for Java-based Systems.	CoRR	2022	DBLP BibTeX RDF
19	Dakota Wong, Austin Kothig, Patrick Lam 0001	Exploring the Verifiability of Code Generated by GitHub Copilot.	CoRR	2022	DBLP DOI BibTeX RDF
19	Ha-Thanh Nguyen	Secrecy-Verifiability Paradox in Smart Contracts.	CoRR	2022	DBLP DOI BibTeX RDF
19	Fabio Petroni, Samuel Broscheit, Aleksandra Piktus, Patrick S. H. Lewis, Gautier Izacard, Lucas Hosseini, Jane Dwivedi-Yu, Maria Lomeli, Timo Schick, Pierre-Emmanuel Mazaré, Armand Joulin, Edouard Grave, Sebastian Riedel 0001	Improving Wikipedia Verifiability with AI.	CoRR	2022	DBLP DOI BibTeX RDF
19	Birgul Koc, Changhong Mou, Honghu Liu, Zhu Wang 0003, Gianluigi Rozza, Traian Iliescu	Verifiability of the Data-Driven Variational Multiscale Reduced Order Model.	J. Sci. Comput.	2022	DBLP DOI BibTeX RDF
19	Li Duan, Yufan Jiang, Yong Li, Jörn Müller-Quade, Andy Rupp	Security Against Honorific Adversaries: Efficient MPC with Server-aided Public Verifiability.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
19	Thomas Attema, Vincent Dunning, Maarten H. Everts, Peter Langenkamp	Efficient Compiler to Covert Security with Public Verifiability for Honest Majority MPC.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
19	Nicholas Brandt, Dennis Hofheinz, Julia Kastner, Akin Ünal	The Price of Verifiability: Lower Bounds for Verifiable Random Functions.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
19	Yi Liu 0053, Qi Wang 0012, Siu-Ming Yiu	Towards Practical Homomorphic Time-Lock Puzzles: Applicability and Verifiability.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
19	Ben Smyth, Michael R. Clarkson	Surveying definitions of election verifiability.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
19	Enrique Larraia, Tamara Finogina, Núria Costa	sVote with Control Components Voting Protocol. Computational Proof of Complete Verifiability and Privacy.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
19	Peter Scholl, Mark Simkin 0001, Luisa Siniscalchi	Multiparty Computation with Covert Security and Public Verifiability.	ITC	2022	DBLP DOI BibTeX RDF
19	Thomas Lorünser, Florian Wohner, Stephan Krenn	A Privacy-Preserving Auction Platform with Public Verifiability for Smart Manufacturing.	ICISSP	2022	DBLP DOI BibTeX RDF