Search results for "obfuscation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Nicolas Szlifierski	Contrôle sûr de chaînes d'obfuscation logicielle. (Safe control of obfuscation toolchains).		2020	RDF
25	Pierre Graux	Challenges of native android applications: obfuscation and vulnerabilities. (Défis pour les applications Android Natives: obfuscation et vulnérabilités).		2020	RDF
25	Yuan Kang, Chengyu Lin 0001, Tal Malkin, Mariana Raykova 0001	Obfuscation from Polynomial Hardness: Beyond Decomposable Obfuscation.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
25	Yuan Kang, Chengyu Lin 0001, Tal Malkin, Mariana Raykova 0001	Obfuscation from Polynomial Hardness: Beyond Decomposable Obfuscation.	SCN	2018	DBLP DOI BibTeX RDF
25	Qipeng Liu 0001, Mark Zhandry	Exploding Obfuscation: A Framework for Building Applications of Obfuscation From Polynomial Hardness.	IACR Cryptol. ePrint Arch.	2017	DBLP BibTeX RDF
25	Qipeng Liu 0001, Mark Zhandry	Decomposable Obfuscation: A Framework for Building Applications of Obfuscation from Polynomial Hardness.	TCC (1)	2017	DBLP DOI BibTeX RDF
25	G. Sumathi, L. Srivani, D. Thirugnana Murthy, Anish Kumar, K. Madhusoodanan	Hardware Obfuscation Using Different Obfuscation Cell Structures for PLDs.	SG-CRC	2017	DBLP DOI BibTeX RDF
25	Ninon Eyrolles	Obfuscation with Mixed Boolean-Arithmetic Expressions : reconstruction, analysis and simplification tools. (Obfuscation par expressions mixtes arithmético-booléennes : reconstruction, analyse et outils de simplification).		2017	RDF
25	Hayato Sagisaka, Haruaki Tamada	Identifying the applied obfuscation method towards de-obfuscation.	ICIS	2016	DBLP DOI BibTeX RDF
25	Christina Brzuska, Arno Mittelbach	Indistinguishability Obfuscation versus Point Obfuscation with Auxiliary Input.	IACR Cryptol. ePrint Arch.	2014	DBLP BibTeX RDF
25	Sandrine Blazy, Stéphanie Riaud	Measuring the robustness of source program obfuscation: studying the impact of compiler optimizations on the obfuscation of C programs.	CODASPY	2014	DBLP DOI BibTeX RDF
25	Christina Brzuska, Arno Mittelbach	Indistinguishability Obfuscation versus Multi-bit Point Obfuscation with Auxiliary Input.	ASIACRYPT (2)	2014	DBLP DOI BibTeX RDF
25	Jan Cappaert	Code Obfuscation Techniques for Software Protection (Code obfuscatietechnieken voor softwarebeveiliging) ; Code Obfuscation Techniques for Software Protection.		2012	RDF
25	Joanna Witkowska	The Quality of Obfuscation and Obfuscation Techniques.	Biometrics, Computer Security Systems and Artificial Intelligence Applications	2006	DBLP DOI BibTeX RDF
25	Liu Wenyin, Anthony Y. Fu, Xiaotie Deng	Exposing Homograph Obfuscation Intentions by Coloring Unicode Strings.	APWeb	2008	DBLP DOI BibTeX RDF
25	Claudio A. Ardagna, Marco Cremonini, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati	Location Privacy Protection Through Obfuscation-Based Techniques. (PDF / PS)	DBSec	2007	DBLP DOI BibTeX RDF
25	Ryan Wishart, Karen Henricksen, Jadwiga Indulska	Context Privacy and Obfuscation Supported by Dynamic Context Source Discovery and Processing in a Context Management System.	UIC	2007	DBLP DOI BibTeX RDF
25	Spyros Antonatos, Kostas G. Anagnostakis	TAO: Protecting Against Hitlist Worms Using Transparent Address Obfuscation.	Communications and Multimedia Security	2006	DBLP DOI BibTeX RDF
25	Peter Kawalek, David Graham Wastell, Michael Newman	Problematisation and Obfuscation in e-Government.	EGOV	2003	DBLP DOI BibTeX RDF
25	Stanley Chow, Yuan Xiang Gu, Harold Johnson, Vladimir A. Zakharov	An Approach to the Obfuscation of Control-Flow of Sequential Computer Programs.	ISC	2001	DBLP DOI BibTeX RDF
25	Satoshi Hada	Zero-Knowledge and Code Obfuscation.	ASIACRYPT	2000	DBLP DOI BibTeX RDF
24	Amir Herzberg, Haya Schulmann, Amitabh Saxena, Bruno Crispo	Towards a Theory of White-Box Security.	SEC	2009	DBLP DOI BibTeX RDF
24	Artem Dinaburg, Paul Royal, Monirul Islam Sharif, Wenke Lee	Ether: malware analysis via hardware virtualization extensions.	CCS	2008	DBLP DOI BibTeX RDF	unpacking, virtualization, dynamic analysis, emulation, malware analysis
24	Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum	One-Time Programs.	CRYPTO	2008	DBLP DOI BibTeX RDF
24	Sébastien Josse	Secure and advanced unpacking using computer emulation.	J. Comput. Virol.	2007	DBLP DOI BibTeX RDF	Anti-virus testing, Human driven analysis, Fault injection, Forensics, Software protection, Malware analysis
24	Changwei Liu, Sid Stamm	Fighting unicode-obfuscated spam.	eCrime Researchers Summit	2007	DBLP DOI BibTeX RDF	SpamAssassin, deobfuscated emails, obfuscated emails, spam emails, unicode characters
24	Bobby D. Birrer, Richard A. Raines, Rusty O. Baldwin, Barry E. Mullins, Robert W. Bennington	Program Fragmentation as a Metamorphic Software Protection.	IAS	2007	DBLP DOI BibTeX RDF
24	Jeffrey Todd McDonald, Alec Yasinsac	Applications for Provably Secure Intent Protection with Bounded Input-Size Programs.	ARES	2007	DBLP DOI BibTeX RDF
24	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert	Secretive Birds: Privacy in Population Protocols.	OPODIS	2007	DBLP DOI BibTeX RDF
24	Vijayanand Nagarajan, Rajiv Gupta 0001, Matias Madou, Xiangyu Zhang 0001, Bjorn De Sutter	Matching Control Flow of Program Versions.	ICSM	2007	DBLP DOI BibTeX RDF
24	Anirban Majumdar 0001, Clark D. Thomborson, Stephen Drape	A Survey of Control-Flow Obfuscations.	ICISS	2006	DBLP DOI BibTeX RDF
24	Jürgen Nützel, Anja Beyer	How to Increase the Security of Digital Rights Management Systems Without Affecting Consumer's Security.	ETRICS	2006	DBLP DOI BibTeX RDF
24	Richard J. Edell, Peter Kruus, Uri Meth	Tracing HTTP Activity Through Non-cooperating HTTP Proxies (Short Paper).	ICICS	2006	DBLP DOI BibTeX RDF
24	Ginger Myles, Hongxia Jin	Self-validating Branch-Based Software Watermarking.	Information Hiding	2005	DBLP DOI BibTeX RDF
24	Hideaki Goto, Masahiro Mambo, Hiroki Shizuya, Yasuyoshi Watanabe	Evaluation of Tamper-Resistant Software Deviating from Structured Programming Rules.	ACISP	2001	DBLP DOI BibTeX RDF
17	P. V. G. D. Prasad Reddy, T. Srinivasa Rao, S. Phani Venkat	A Threat Free Architecture for Privacy Assurance in Cloud Computing.	SERVICES	2011	DBLP DOI BibTeX RDF	Double Authentication, Hybrid Cloud, Privacy, Network, Obfuscation, Security Management, Plug-in, Cloud Computing Security
17	Adam Waksman, Simha Sethumadhavan	Silencing Hardware Backdoors.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	security, performance, hardware, obfuscation, triggers, backdoors
17	Arun Lakhotia, Davidson R. Boccardo, Anshuman Singh, Aleardo Manacero	Context-sensitive analysis of obfuscated x86 executables.	PEPM	2010	DBLP DOI BibTeX RDF	analysis of bianries, deobfuscation, obfuscation, context-sensitive analysis
17	Jeffrey Todd McDonald, Eric D. Trias, Yong C. Kim, Michael R. Grimaila	Using logic-based reduction for adversarial component recovery.	SAC	2010	DBLP DOI BibTeX RDF	anti-tamper applications, circuit obfuscation, reverse engineering, intellectual property protection, hardware security
17	He Lin, Xuan-sheng Mo, Ying Gao	Based on RSA and Self-Modifying Mechanism of Software Protection.	ISPA	2010	DBLP DOI BibTeX RDF	register-number, temper-resistance, self-modifying mechanism, software protection, code obfuscation
17	John Bethencourt, Dawn Xiaodong Song, Brent Waters	New Techniques for Private Stream Searching.	ACM Trans. Inf. Syst. Secur.	2009	DBLP DOI BibTeX RDF	private stream searching, public key program obfuscation, Bloom filter, private information retrieval
17	Bertrand Anckaert, Mariusz H. Jakubowski, Ramarathnam Venkatesan, Chit Wei Saw	Runtime Protection via Dataflow Flattening.	SECURWARE	2009	DBLP DOI BibTeX RDF	security, data hiding, obfuscation, software protection
17	Hyoungshick Kim, Joseph Bonneau	Privacy-enhanced public view for social graphs.	CIKM-SWSM	2009	DBLP DOI BibTeX RDF	graph obfuscation, public view, privacy, social networks
17	Yichi Zhang, Jianmin Pang, Lili Bai, Wen Fu	Static Analysis of Malware to Detect Exception Return.	IFITA (3)	2009	DBLP DOI BibTeX RDF	Malware, Obfuscation, Disassemble
17	Vinod P. Nair, Vijay Laxmi, Manoj Singh Gaur, G. V. S. S. Phani Kumar, Yadvendra S. Chundawat	Static CFG analyzer for metamorphic Malware code.	SIN	2009	DBLP DOI BibTeX RDF	metamorphic malware, normalization, obfuscation, control flow graph, longest common subsequence
17	JungMin Kang, KiWook Sohn, Soonyoung Jung	WebVaccine: A Client-Side Realtime Prevention System against Obfuscated Malicious Web Pages.	NCM	2009	DBLP DOI BibTeX RDF	WebVaccine, Web Page, Obfuscation
17	Zunping Cheng, Neil Hurley	Effective diverse and obfuscated attacks on model-based recommender systems.	RecSys	2009	DBLP DOI BibTeX RDF	recommender systems, collaborative filtering, detection, attack, obfuscation
17	Yevgeniy Dodis, Yael Tauman Kalai, Shachar Lovett	On cryptography with auxiliary input.	STOC	2009	DBLP DOI BibTeX RDF	auxiliary information, encryption schemes, learning parity with noise, error-correcting codes, randomness extractors, code obfuscation
17	Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray	A semantics-based approach to malware detection.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	abstract interpretation, obfuscation, Malware detection, trace semantics
17	Ran Canetti, Susan Hohenberger	Chosen-ciphertext secure proxy re-encryption.	CCS	2007	DBLP DOI BibTeX RDF	encryption, obfuscation, chosen-ciphertext security, re-encryption
17	Brecht Wyseur, Wil Michiels, Paul Gorissen, Bart Preneel	Cryptanalysis of White-Box DES Implementations with Arbitrary External Encodings.	Selected Areas in Cryptography	2007	DBLP DOI BibTeX RDF	White-Box Cryptography, Cryptanalysis, DES, Data Encryption Standard, Obfuscation
17	Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray	A semantics-based approach to malware detection.	POPL	2007	DBLP DOI BibTeX RDF	abstract interpretation, obfuscation, malware detection, trace semantics
17	Adam J. Lee, Parisa Tabriz, Nikita Borisov	A privacy-preserving interdomain audit framework.	WPES	2006	DBLP DOI BibTeX RDF	data obfuscation, distributed audit, logging
17	Bertrand Anckaert, Mariusz H. Jakubowski, Ramarathnam Venkatesan	Proteus: virtualization for diversified tamper-resistance.	Digital Rights Management Workshop	2006	DBLP DOI BibTeX RDF	virtualization, diversity, copyright protection, intellectual property, obfuscation, tamper-resistance
17	Arun Lakhotia, Eric Uday Kumar, Michael Venable	A Method for Detecting Obfuscated Calls in Malicious Binaries.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Invasive software (viruses, worms), abstract stack, validation, program analysis, obfuscation
17	Matias Madou, Bertrand Anckaert, Bjorn De Sutter, Koen De Bosschere	Hybrid static-dynamic attacks against software protection mechanisms.	Digital Rights Management Workshop	2005	DBLP DOI BibTeX RDF	watermarking, attacks, intellectual property, obfuscation, software protection, tamper-resistance
17	Patrick Cousot, Radhia Cousot	An abstract interpretation-based framework for software watermarking.	POPL	2004	DBLP DOI BibTeX RDF	software authorship, stegoanalyst, stegoattacks, stegokey, stegomark, stegosignature, validation watermarking, authentication, static analysis, abstract interpretation, steganography, fingerprinting, identification, copyrights protection, trustworthiness, obfuscation, intellectual property protection, software watermarking, tamper-proofing
17	Elena Gabriela Barrantes, David H. Ackley, Trek S. Palmer, Darko Stefanovic, Dino Dai Zovi	Randomized instruction set emulation to disrupt binary code injection attacks.	CCS	2003	DBLP DOI BibTeX RDF	automated diversity, language randomization, security, emulation, information hiding, obfuscation
17	Stephen Drape, Oege de Moor, Ganesh Sittampalam	Transforming the .NET intermediate language using path logic programming.	PPDP	2002	DBLP DOI BibTeX RDF	compiler optimisations, logic programming, program transformation, program analysis, obfuscation, meta programming
13	Shu Hong, Lingjie Duan	Location Privacy Protection Game Against Adversary Through Multi-User Cooperative Obfuscation.	IEEE Trans. Mob. Comput.	2024	DBLP DOI BibTeX RDF
13	Rahul Chaurasia, Anirban Sengupta	Multi-cut based architectural obfuscation and handprint biometric signature for securing transient fault detectable IP cores during HLS.	Integr.	2024	DBLP DOI BibTeX RDF
13	Md. Moshiur Rahman 0001, Swarup Bhunia	Practical Implementation of Robust State-Space Obfuscation for Hardware IP Protection.	IEEE Trans. Very Large Scale Integr. Syst.	2024	DBLP DOI BibTeX RDF
13	Prabhdeep Singh, Pawan Singh, Abhay Kumar Agarwal	Improved encryption and obfuscation process of lightweight secured auditable cloud storage with data dynamics.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
13	Yuval Ishai, Alexis Korb, Paul Lou, Amit Sahai	Beyond the Csiszár-Körner Bound: Best-Possible Wiretap Coding via Obfuscation.	J. Cryptol.	2024	DBLP DOI BibTeX RDF
13	Aditi Roy, Kokila Jagadeesh, Ramasubramanian Natarajan, B. Shameedha Begum	OTK-based PUF CRP obfuscation for IoT device authentication.	Microelectron. J.	2024	DBLP DOI BibTeX RDF
13	Hideaki Takahashi, Alex Fukunaga	On the Transit Obfuscation Problem.	CoRR	2024	DBLP DOI BibTeX RDF
13	James Bartusek, Zvika Brakerski, Vinod Vaikuntanathan	Quantum State Obfuscation from Classical Oracles.	CoRR	2024	DBLP DOI BibTeX RDF
13	Tanvir Hossain, Matthew Showers, Mahmudul Hasan 0012, Tamzidul Hoque	HOACS: Homomorphic Obfuscation Assisted Concealing of Secrets to Thwart Trojan Attacks in COTS Processor.	CoRR	2024	DBLP DOI BibTeX RDF
13	Filip Ilic, He Zhao 0004, Thomas Pock, Richard P. Wildes	Selective, Interpretable, and Motion Consistent Privacy Attribute Obfuscation for Action Recognition.	CoRR	2024	DBLP DOI BibTeX RDF
13	Dominik Macko, Róbert Móro, Adaku Uchendu, Ivan Srba, Jason Samuel Lucas, Michiharu Yamashita, Nafis Irtiza Tripto, Dongwon Lee 0001, Jakub Simko, Mária Bieliková	Authorship Obfuscation in Multilingual Machine-Generated Text Detection.	CoRR	2024	DBLP DOI BibTeX RDF
13	Songjie Xie, Youlong Wu, Jiaxuan Li, Ming Ding 0001, Khaled B. Letaief	Privacy for Fairness: Information Obfuscation for Fair Representation Learning with Local Differential Privacy.	CoRR	2024	DBLP DOI BibTeX RDF
13	Brian Etter, James Lee Hu, Mohammedreza Ebrahimi, Weifeng Li 0002, Xin Li 0108, Hsinchun Chen	Evading Deep Learning-Based Malware Detectors via Obfuscation: A Deep Reinforcement Learning Approach.	CoRR	2024	DBLP DOI BibTeX RDF
13	Yixiang Yao, Fei Wang, Srivatsan Ravi, Muhao Chen	Privacy-Preserving Language Model Inference with Instance Obfuscation.	CoRR	2024	DBLP DOI BibTeX RDF
13	Haoran Geng, Yuezhi Che, Aaron Dingler, Michael T. Niemier, Xiaobo Sharon Hu	A New Secure Memory System for Efficient Data Protection and Access Pattern Obfuscation.	CoRR	2024	DBLP DOI BibTeX RDF
13	Eric Xing, Saranya Venkatraman, Thai Le, Dongwon Lee 0001	ALISON: Fast and Effective Stylometric Authorship Obfuscation.	CoRR	2024	DBLP DOI BibTeX RDF
13	Håkon Harnes, Donn Morrison	Cryptic Bytes: WebAssembly Obfuscation for Evading Cryptojacking Detection.	CoRR	2024	DBLP DOI BibTeX RDF
13	Jillian Fisher, Ximing Lu, Jaehun Jung, Liwei Jiang, Zaïd Harchaoui, Yejin Choi 0001	JAMDEC: Unsupervised Authorship Obfuscation using Constrained Decoding over Small Language Models.	CoRR	2024	DBLP DOI BibTeX RDF
13	Serhat Bakirtas, Elza Erkip	Distribution-Agnostic Database De-Anonymization Under Obfuscation And Synchronization Errors.	CoRR	2024	DBLP DOI BibTeX RDF
13	Aayush Jain, Huijia Lin, Amit Sahai	Indistinguishability Obfuscation from Well-Founded Assumptions.	Commun. ACM	2024	DBLP DOI BibTeX RDF
13	Hassan Jameel Asghar, Benjamin Zi Hao Zhao, Muhammad Ikram 0001, Giang Linh Duc Nguyen, Dali Kaafar, Sean Lamont, Daniel Coscia	Use of cryptography in malware obfuscation.	J. Comput. Virol. Hacking Tech.	2024	DBLP DOI BibTeX RDF
13	Kimia Zamiri Azar, Hadi Mardani Kamali, Farimah Farahmandi, Mark M. Tehranipoor	Improving Bounded Model Checkers Scalability for Circuit De-Obfuscation: An Exploration.	IEEE Trans. Inf. Forensics Secur.	2024	DBLP DOI BibTeX RDF
13	Chongyao Xu, Litao Zhang, Pui-In Mak, Rui Paulo Martins, Man-Kay Law	Fully Symmetrical Obfuscated Interconnection and Weak-PUF-Assisted Challenge Obfuscation Strong PUFs Against Machine-Learning Modeling Attacks.	IEEE Trans. Inf. Forensics Secur.	2024	DBLP DOI BibTeX RDF
13	Darius Mercadier, Viet Sang Nguyen, Matthieu Rivain, Aleksei Udovenko	OBSCURE: Versatile Software Obfuscation from a Lightweight Secure Element.	IACR Trans. Cryptogr. Hardw. Embed. Syst.	2024	DBLP DOI BibTeX RDF
13	Shun Zhang 0002, Pengfei Lan, Benfei Duan, Zhili Chen, Hong Zhong 0001, Neal N. Xiong	DPIVE: A Regionalized Location Obfuscation Scheme with Personalized Privacy Levels.	ACM Trans. Sens. Networks	2024	DBLP DOI BibTeX RDF
13	Zhuang Shan, Leyou Zhang, Qing Wu 0005	Heuristic Ideal Obfuscation Scheme based on LWE Problem, its Variants and Quantum Oracle.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
13	Ran Canetti, Claudio Chamon, Eduardo R. Mucciolo, Andrei E. Ruckenstein	Towards general-purpose program obfuscation via local mixing.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
13	Brent Waters, David J. Wu 0001	Adaptively-Sound Succinct Arguments for NP from Indistinguishability Obfuscation.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
13	Kaartik Bhushan, Sai Lakshmi Bhavana Obbattu, Manoj Prabhakaran 0001, Rajeev Raghunath	R3PO: Reach-Restricted Reactive Program Obfuscation and its Application to MA-ABE.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
13	Fangqi Dong, Zihan Hao, Ethan Mook, Daniel Wichs	Laconic Function Evaluation, Functional Encryption and Obfuscation for RAMs with Sublinear Computation.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
13	Darius Mercadier, Viet Sang Nguyen, Matthieu Rivain, Aleksei Udovenko	OBSCURE: Versatile Software Obfuscation from a Lightweight Secure Element.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
13	James Bartusek, Zvika Brakerski, Vinod Vaikuntanathan	Quantum State Obfuscation from Classical Oracles.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
13	Ikram Ullah 0001, Munam Ali Shah	SGO: Semantic Group Obfuscation for Location-Based Services in VANETS.	Sensors	2024	DBLP DOI BibTeX RDF
13	Navid Rezazadeh, Solmaz S. Kia	A Study of Privacy Preservation in Average Consensus Algorithm via Deterministic Obfuscation Signals.	IEEE Trans. Control. Netw. Syst.	2024	DBLP DOI BibTeX RDF
13	Kaartik Bhushan, Venkata Koppula, Manoj Prabhakaran 0001	Homomorphic Indistinguishability Obfuscation and Its Applications.	ITCS	2024	DBLP DOI BibTeX RDF
13	Naiqian Zhang, Zheyun Feng, Dongpeng Xu 0001	An In-Depth Analysis of the Code-Reuse Gadgets Introduced by Software Obfuscation.	ACNS (3)	2024	DBLP DOI BibTeX RDF
13	Adrian Swindle, Derrick McNealy, Giri P. Krishnan, Ramyaa Ramyaa	Evaluation of Large Language Models on Code Obfuscation (Student Abstract).	AAAI	2024	DBLP DOI BibTeX RDF
13	Eric Xing, Saranya Venkatraman, Thai Le, Dongwon Lee 0001	ALISON: Fast and Effective Stylometric Authorship Obfuscation.	AAAI	2024	DBLP DOI BibTeX RDF
13	Kaartik Bhushan, Sai Lakshmi Bhavana Obbattu, Manoj Prabhakaran 0001, Rajeev Raghunath	R3PO: Reach-Restricted Reactive Program Obfuscation and Its Applications.	Public Key Cryptography (3)	2024	DBLP DOI BibTeX RDF
13	Guglielmo Faggioli, Nicola Ferro 0001	Query Obfuscation for Information Retrieval Through Differential Privacy.	ECIR (1)	2024	DBLP DOI BibTeX RDF
13	Haimanti Chakraborty, Ranga Vemuri	ROBUST: RTL OBfuscation USing Bi-functional Polymorphic OperaTors.	VLSID	2024	DBLP DOI BibTeX RDF