We gratefully acknowledge support from
the Simons Foundation and member institutions.

Software Engineering

Authors and titles for cs.SE in Jul 2021, skipping first 75

[ total of 161 entries: 1-100 | 76-161 ]
[ showing 100 entries per page: fewer | more | all ]
[76]  arXiv:2107.07485 [pdf]
Title: A Hybrid Simulation Model for Open Software Development Processes
Authors: Razieh Saremi
Comments: 172 pages. Copyright of the Dissertation is held by the Author
Subjects: Software Engineering (cs.SE)
[77]  arXiv:2107.07690 [pdf, other]
Title: Applying Declarative Analysis to Software Product Line Models: An Industrial Study
Comments: MODELS'21 pre-print
Subjects: Software Engineering (cs.SE)
[78]  arXiv:2107.07944 [pdf, other]
Title: Developers Task Satisfaction and Performance during the COVID-19 Pandemic
Comments: arXiv admin note: substantial text overlap with arXiv:2101.04363
Subjects: Software Engineering (cs.SE)
[79]  arXiv:2107.08038 [pdf, other]
Title: Towards a Benchmark Set for Program Repair Based on Partial Fixes
Comments: 9 pages, 5 figures
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[80]  arXiv:2107.08185 [pdf]
Title: Assessing Support for Industry Standards in Reference Medical Software Architectures
Comments: Conference paper, 5 pages, 1 figure, 5 tables
Journal-ref: Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society (IECON2020). Singapore, IEEE Computer Society Press, pp.3403-3407
Subjects: Software Engineering (cs.SE)
[81]  arXiv:2107.08262 [pdf, other]
Title: Tea: Program Repair Using Neural Network Based on Program Information Attention Matrix
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[82]  arXiv:2107.08344 [pdf, other]
Title: IDEAL: An Open-Source Identifier Name Appraisal Tool
Comments: Accepted at: The 37th International Conference on Software Maintenance and Evolution (ICSME '21)
Subjects: Software Engineering (cs.SE)
[83]  arXiv:2107.08364 [pdf, other]
Title: A Survey on Data-driven Software Vulnerability Assessment and Prioritization
Comments: Accepted for publication in the ACM Computing Surveys journal (CSUR), 2022
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Machine Learning (cs.LG)
[84]  arXiv:2107.08454 [pdf]
Title: Multi-objective Test Case Selection Through Linkage Learning-based Crossover
Journal-ref: 13th Symposium on Search-Based Software Engineering (SSBSE) 2021
Subjects: Software Engineering (cs.SE); Neural and Evolutionary Computing (cs.NE)
[85]  arXiv:2107.08583 [pdf, other]
Title: Compositional Verification of Smart Contracts Through Communication Abstraction (Extended)
Subjects: Software Engineering (cs.SE)
[86]  arXiv:2107.08699 [pdf, other]
Title: Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty
Comments: 13 pages, 1 figure, 2 tables
Subjects: Software Engineering (cs.SE)
[87]  arXiv:2107.08760 [pdf, other]
Title: CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software
Authors: Guru Prasad Bhandari, Amara Naseer, Leon Moonen (Simula Research Laboratory, Norway)
Comments: Accepted for publication in Proceedings of the 17th International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE '21), August 19-20, 2021, Athens, Greece
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Machine Learning (cs.LG)
[88]  arXiv:2107.08824 [pdf, other]
Title: Verified Mutable Data Structures
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[89]  arXiv:2107.09406 [pdf, other]
Title: A Hybrid Approach to Fine-grained Automated Fault Localization
Authors: Leping Li, Hui Liu
Subjects: Software Engineering (cs.SE)
[90]  arXiv:2107.09512 [pdf, other]
Title: On the Interplay of Smells Large Class, Complex Class and Duplicate Code
Comments: 10 pages
Journal-ref: Brazilian Symposium on Software Engineering (SBES '21), September 27-October 1, 2021, Joinville, Brazil
Subjects: Software Engineering (cs.SE)
[91]  arXiv:2107.09587 [pdf, other]
Title: A Survey-Based Qualitative Study to Characterize Expectations of Software Developers from Five Stakeholders
Comments: 15th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2021 (camera-ready)
Subjects: Software Engineering (cs.SE)
[92]  arXiv:2107.09614 [pdf, other]
Title: Single and Multi-objective Test Cases Prioritization for Self-driving Cars in Virtual Environments
Subjects: Software Engineering (cs.SE)
[93]  arXiv:2107.09698 [pdf, other]
Title: Mono2Micro: A Practical and Effective Tool for Decomposing Monolithic Java Applications to Microservices
Subjects: Software Engineering (cs.SE)
[94]  arXiv:2107.09753 [pdf, other]
Title: Empowering End-users with Object-aware Processes
Subjects: Software Engineering (cs.SE)
[95]  arXiv:2107.09936 [pdf, other]
Title: Predicting Issue Types on GitHub
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[96]  arXiv:2107.10059 [pdf, other]
Title: Automated Identification of Security Discussions in Microservices Systems: Industrial Surveys and Experiments
Comments: 24 Pages, Accepted to appear in Journal of Systems and Software (JSS), 2021. Preprint
Subjects: Software Engineering (cs.SE)
[97]  arXiv:2107.10164 [pdf, ps, other]
Title: Automated Refactoring of Legacy JavaScript Code to ES6 Modules
Comments: Accepted to Journal of Systems and Software
Journal-ref: Journal of Systems and Software 181 (2021)
Subjects: Software Engineering (cs.SE)
[98]  arXiv:2107.10168 [pdf, other]
Title: Towards Using Package Centrality Trend to Identify Packages in Decline
Comments: Accepted in the Special Issue on Collaboration and Innovation Dynamics in Software Ecosystems
Journal-ref: IEEE Transactions on Engineering Management Journal (TEM), 2021
Subjects: Software Engineering (cs.SE)
[99]  arXiv:2107.10375 [pdf]
Title: The Factors of Code Reviewing Process to Ensure Software Quality
Authors: Shaykh Siddique
Comments: 4 pages, 1 figures. Zenodo (2020)
Subjects: Software Engineering (cs.SE); General Literature (cs.GL)
[100]  arXiv:2107.10544 [pdf, other]
Title: An Empirical Study on Code Comment Completion
Comments: Accepted for publication at the 37th International Conference on Software Maintenance and Evolution (ICSME 2021)
Subjects: Software Engineering (cs.SE)
[101]  arXiv:2107.10948 [pdf, ps, other]
Title: Architecture-Guided Test Resource Allocation Via Logic
Comments: 17 pages, 6 figures, author version of the manuscript of the same name published in the proceedings of the 15th International Conference on Tests and Proofs (TAP 2021)
Journal-ref: Lecture Notes in Computer Science book series (LNCS, volume 12740), 2021, pp 22-38
Subjects: Software Engineering (cs.SE)
[102]  arXiv:2107.11273 [pdf, other]
Title: Towards a Human Values Dashboard for Software Development: An Exploratory Study
Comments: 12 Pages. Accepted to appear in 15th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM). Preprint
Subjects: Software Engineering (cs.SE)
[103]  arXiv:2107.11421 [pdf, ps, other]
Title: Testing Pushdown Systems
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)
[104]  arXiv:2107.11423 [pdf, other]
Title: Ensemble Models for Neural Source Code Summarization of Subroutines
Comments: ICSME 2021
Subjects: Software Engineering (cs.SE)
[105]  arXiv:2107.11449 [pdf, other]
Title: Applying Inter-rater Reliability and Agreement in Grounded Theory Studies in Software Engineering
Comments: 20 pages, 5 figures, 8 tables
Subjects: Software Engineering (cs.SE); Methodology (stat.ME)
[106]  arXiv:2107.11933 [pdf, ps, other]
Title: A Partial Reproduction of A Guided Genetic Algorithm for Automated Crash Reproduction
Comments: Accepted for publication at the 37th International Conference on Software Maintenance and Evolution (ICSME 2021)
Subjects: Software Engineering (cs.SE)
[107]  arXiv:2107.12136 [pdf, other]
Title: The Role of Functional Programming in Management and Orchestration of Virtualized Network Resources Part I. System structure for Complex Systems and Design Principles
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL); Systems and Control (eess.SY)
[108]  arXiv:2107.12190 [pdf, other]
Title: Systematic Literature Review of Validation Methods for AI Systems
Comments: 25 pages, 6 figures, 12 tables. The manuscript has been accepted to the Journal of Systems and Software
Subjects: Software Engineering (cs.SE)
[109]  arXiv:2107.12227 [pdf, other]
Title: The Role of Functional Programming in Management and Orchestration of Virtualized Network Resources Part II. Network Evolution and Design Principles
Subjects: Software Engineering (cs.SE)
[110]  arXiv:2107.12317 [pdf, other]
Title: Dialogue Management for Interactive API Search
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[111]  arXiv:2107.12425 [pdf, other]
Title: Applying Model-Driven Engineering to Stimulate the Adoption of DevOps Processes in Small and Medium-Sized Development Organizations
Subjects: Software Engineering (cs.SE)
[112]  arXiv:2107.12659 [pdf]
Title: Employee-Driven Innovation to Fuel Internal Software Startups: Preliminary Findings
Comments: 9 pages, submitted to post-proceedings of XP 2021: International Conference on Agile Software Development - Workshops
Subjects: Software Engineering (cs.SE)
[113]  arXiv:2107.12699 [pdf, other]
Title: A Large-Scale Security-Oriented Static Analysis of Python Packages in PyPI
Comments: Proceedings of the 18th Annual International Conference on Privacy, Security and Trust (PST 2021), Auckland (online), IEEE, pp. 1-10
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[114]  arXiv:2107.12732 [pdf, other]
Title: Towards Black-box Attacks on Deep Learning Apps
Subjects: Software Engineering (cs.SE)
[115]  arXiv:2107.12772 [pdf, other]
Title: Collaborative Software Modeling in Virtual Reality
Comments: preprint, accepted at ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS 2021)
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[116]  arXiv:2107.12833 [pdf, other]
Title: Development of a NIC driver in C#
Authors: Samuel Chassot
Subjects: Software Engineering (cs.SE)
[117]  arXiv:2107.12850 [pdf, other]
Title: Guidelines on Minimum Standards for Developer Verification of Software
Authors: Paul E. Black, Barbara Guttman, Vadim Okun (National Institute of Standards and Technology)
Comments: 33 pages, 2 figures
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[118]  arXiv:2107.12938 [pdf, other]
Title: Yet Another Combination of IR- and Neural-based Comment Generation
Subjects: Software Engineering (cs.SE)
[119]  arXiv:2107.13296 [pdf, other]
Title: Predicting Patch Correctness Based on the Similarity of Failing Test Cases
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[120]  arXiv:2107.13315 [pdf, other]
Title: Sorrel: an IDE Plugin for Managing Licenses and Detecting License Incompatibilities
Comments: 5 pages, 3 figures
Subjects: Software Engineering (cs.SE)
[121]  arXiv:2107.13597 [pdf]
Title: SCENARIOTCHECK: A Checklist-based Reading Technique for the Verification of IoT Scenarios
Comments: Submitted to the Software Engineering Theses and Dissertations Competition (CTD-ES), 2021
Subjects: Software Engineering (cs.SE)
[122]  arXiv:2107.13614 [pdf, other]
Title: Clones in Deep Learning Code: What, Where, and Why?
Subjects: Software Engineering (cs.SE)
[123]  arXiv:2107.13633 [pdf]
Title: Beyond SDLC: Process Modeling and Documentation Using Thinging Machines
Authors: Sabah Al-Fedaghi
Comments: 14 pages, 24 figures
Journal-ref: IJCSNS International Journal of Computer Science and Network Security, VOL.21 No.7, pp. 191-204, July 2021
Subjects: Software Engineering (cs.SE)
[124]  arXiv:2107.13687 [pdf, other]
Title: Qualities of Quality: A Tertiary Review of Software Quality Measurement Research
Subjects: Software Engineering (cs.SE)
[125]  arXiv:2107.13708 [pdf, other]
Title: Learning how to listen: Automatically finding bug patterns in event-driven JavaScript APIs
Comments: 19 pages, 6 figures. Accepted and to appear in IEEE TSE
Subjects: Software Engineering (cs.SE)
[126]  arXiv:2107.13723 [pdf, other]
Title: An Empirical Study of Developers' Discussions about Security Challenges of Different Programming Languages
Comments: To be published in EMSE
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[127]  arXiv:2107.14096 [pdf]
Title: A Pairwise T-Way Test Suite Generation Strategy Using Gravitational Search Algorithm
Comments: Accepted for publication in IEEE Xplore Subject: International Conference on Artificial Intelligence and Computer Science Technology(ICAICST 2021), 6 pages, 2 figures
Subjects: Software Engineering (cs.SE)
[128]  arXiv:2107.14272 [pdf]
Title: Distributed Smart Measurement Architecture for Industrial Automation
Subjects: Software Engineering (cs.SE)
[129]  arXiv:2107.00101 (cross-list from cs.PL) [pdf, other]
Title: Latent Execution for Neural Program Synthesis
Comments: Published in NeurIPS 2021
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG); Software Engineering (cs.SE)
[130]  arXiv:2107.00613 (cross-list from cs.PL) [pdf, other]
Title: EqFix: Fixing LaTeX Equation Errors by Examples
Authors: Fengmin Zhu, Fei He
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[131]  arXiv:2107.01624 (cross-list from cs.CY) [pdf, other]
Title: Implicit Gender Bias in Computer Science -- A Qualitative Study
Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)
[132]  arXiv:2107.01965 (cross-list from cs.DB) [pdf, other]
Title: Managing Knowledge in Energy Data Spaces
Comments: Based on the article Valentina Janev, Maria-Esther Vidal, Kemele M. Endris, Dea Pujic: Managing Knowledge in Energy Data Spaces. WWW (Companion Volume) 2021: 7-15
Subjects: Databases (cs.DB); Software Engineering (cs.SE)
[133]  arXiv:2107.02096 (cross-list from cs.CR) [pdf, other]
Title: An Empirical Analysis of Practitioners' Perspectives on Security Tool Integration into DevOps
Comments: [v3] Camera-ready version (with a few improvements)
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[134]  arXiv:2107.03876 (cross-list from cs.AI) [pdf, other]
Title: Bootstrapping Generalization of Process Models Discovered From Event Data
Comments: 16 pages
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Software Engineering (cs.SE)
[135]  arXiv:2107.04164 (cross-list from cs.AI) [pdf, other]
Title: Parallel and Multi-Objective Falsification with Scenic and VerifAI
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[136]  arXiv:2107.04863 (cross-list from cs.LG) [pdf, other]
Title: HOMRS: High Order Metamorphic Relations Selector for Deep Neural Networks
Comments: 33 pages
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[137]  arXiv:2107.05493 (cross-list from cs.LO) [pdf, other]
Title: Integrating an Automated Prover for Projective Geometry as a New Tactic in the Coq Proof Assistant
Authors: Nicolas Magaud (ICube - Université de Strasbourg)
Comments: In Proceedings PxTP 2021, arXiv:2107.01544
Journal-ref: EPTCS 336, 2021, pp. 40-47
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[138]  arXiv:2107.05679 (cross-list from cs.PL) [pdf, other]
Title: Teaching Design by Contract using Snap!
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[139]  arXiv:2107.05761 (cross-list from cs.MS) [pdf, other]
Title: Faster Math Functions, Soundly
Subjects: Mathematical Software (cs.MS); Software Engineering (cs.SE)
[140]  arXiv:2107.06009 (cross-list from cs.CY) [pdf, other]
Title: Automatic Classification of Error Types in Solutions to Programming Assignments at Online Learning Platform
Comments: 5 pages, 2 figures
Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)
[141]  arXiv:2107.06260 (cross-list from cs.RO) [pdf, other]
Title: OpenCDA:An Open Cooperative Driving Automation Framework Integrated with Co-Simulation
Comments: Accepted by ITSC2021
Journal-ref: 2021 IEEE Intelligent Transportation Systems Conference (ITSC)
Subjects: Robotics (cs.RO); Software Engineering (cs.SE)
[142]  arXiv:2107.06664 (cross-list from cs.OH) [pdf]
Title: EnergySaver Software Manual
Comments: 8 pages, in Portuguese, 21 figures
Subjects: Other Computer Science (cs.OH); Software Engineering (cs.SE)
[143]  arXiv:2107.06732 (cross-list from cs.CY) [pdf, other]
Title: Opportunities and challenges of Blockchain-Oriented systems in the tourism industry
Subjects: Computers and Society (cs.CY); Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[144]  arXiv:2107.06997 (cross-list from cs.LG) [pdf, other]
Title: DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search
Comments: To be published in Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '21), July 11-17, 2021, Virtual, Denmark. ACM, New York, NY, USA, 12 pages
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[145]  arXiv:2107.07065 (cross-list from cs.CR) [pdf, other]
Title: Why Crypto-detectors Fail: A Systematic Evaluation of Cryptographic Misuse Detection Techniques
Comments: 18 pages, 2 figures, 2 tables; paper accepted to appear in IEEE S&P 2022
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[146]  arXiv:2107.07217 (cross-list from cs.NI) [pdf, other]
Title: Dynamic Link Network Emulation: a Model-based Design
Comments: 8 pages, as submitted to the 17th International Conference on Evaluation of Novel Approaches to Software Engineering
Subjects: Networking and Internet Architecture (cs.NI); Software Engineering (cs.SE)
[147]  arXiv:2107.07255 (cross-list from eess.SY) [pdf, other]
Title: PHiLIP on the HiL: Automated Multi-platform OS Testing with External Reference Devices
Subjects: Systems and Control (eess.SY); Operating Systems (cs.OS); Software Engineering (cs.SE)
[148]  arXiv:2107.08066 (cross-list from cs.LG) [pdf, other]
Title: LeanML: A Design Pattern To Slash Avoidable Wastes in Machine Learning Projects
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE); Machine Learning (stat.ML)
[149]  arXiv:2107.08148 (cross-list from cs.LG) [pdf, other]
Title: Declarative Machine Learning Systems
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[150]  arXiv:2107.10533 (cross-list from cs.CR) [pdf, other]
Title: CGuard: Efficient Spatial Safety for C
Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL); Software Engineering (cs.SE)
[151]  arXiv:2107.10675 (cross-list from cs.DS) [pdf, other]
Title: Theory and Practice of Algorithm Engineering
Subjects: Data Structures and Algorithms (cs.DS); Software Engineering (cs.SE)
[152]  arXiv:2107.10989 (cross-list from cs.LG) [pdf, other]
Title: Estimating Predictive Uncertainty Under Program Data Distribution Shift
Comments: 12 pages, 3 figures
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[153]  arXiv:2107.12045 (cross-list from cs.LG) [pdf, other]
Title: How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review
Comments: 60 pages (92 pages with references and complements), submitted to a journal (Automated Software Engineering). Changes: Emphasizing difference traditional software engineering / ML approach. Adding Related Works, Threats to Validity and Complementary Materials. Adding a table listing papers reference for each section/subsections
Journal-ref: Autom Softw Eng 29, 38 (2022)
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[154]  arXiv:2107.12322 (cross-list from cs.LG) [pdf, other]
Title: MLDev: Data Science Experiment Automation and Reproducibility Software
Comments: 11 pages, 2 figures
Subjects: Machine Learning (cs.LG); Mathematical Software (cs.MS); Software Engineering (cs.SE)
[155]  arXiv:2107.12867 (cross-list from cs.PL) [pdf, other]
Title: From Library Portability to Para-rehosting: Natively Executing Microcontroller Software on Commodity Hardware
Comments: 18 pages, 4 figures, Network and Distributed Systems Security (NDSS) Symposium 2021
Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[156]  arXiv:2107.13320 (cross-list from cs.DC) [pdf, other]
Title: A Case Study on the Stability of Performance Tests for Serverless Applications
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[157]  arXiv:2107.13404 (cross-list from cs.CR) [pdf, other]
Title: XFL: eXtreme Function Labeling
Subjects: Cryptography and Security (cs.CR); Machine Learning (cs.LG); Software Engineering (cs.SE)
[158]  arXiv:2107.13491 (cross-list from cs.LG) [pdf, other]
Title: Models of Computational Profiles to Study the Likelihood of DNN Metamorphic Test Cases
Comments: 9 pages (10 pages with ref.)
Journal-ref: Published in iMLSE 2020 2nd International Workshop on Machine Learning Systems Engineering https://sig-mlse.wixsite.com/imlse2020
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[159]  arXiv:2107.13821 (cross-list from cs.LG) [pdf, other]
Title: Concept for a Technical Infrastructure for Management of Predictive Models in Industrial Applications
Comments: International Conference on Computer Aided Systems Theory, Eurocast 2019, pp 263-270
Journal-ref: In: Moreno-D\'iaz R. et al (eds) Computer Aided Systems Theory. Lecture Notes in Computer Science, Vol. 12013 (2020)
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[160]  arXiv:2107.14093 (cross-list from cs.CY) [pdf, other]
Title: A Decision Model for Decentralized Autonomous Organization Platform Selection: Three Industry Case Studies
Authors: Elena Baninemeh (1), Siamak Farshidi (2), Slinger Jansen (1) ((1) Department of Information and Computer Science at Utrecht University, Utrecht, the Netherlands, (2) Informatics Institute at University of Amsterdam, Amsterdam, the Netherlands)
Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[161]  arXiv:2107.14142 (cross-list from cs.CR) [pdf]
Title: Zero-knowledge Based Proof-chain -- A methodology for blockchain-partial system
Authors: Yuqi Bai, Lei Luo
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[ total of 161 entries: 1-100 | 76-161 ]
[ showing 100 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2207, contact, help  (Access key information)