Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Databases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16–19, 2020, Proceedings / / edited by Tarmo Robal, Hele-Mai Haav, Jaan Penjam, Raimundas Matulevičius
| Databases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16–19, 2020, Proceedings / / edited by Tarmo Robal, Hele-Mai Haav, Jaan Penjam, Raimundas Matulevičius |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XIII, 341 p. 106 illus., 45 illus. in color.) |
| Disciplina | 005.74 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Database management
Application software Artificial intelligence Computers Information storage and retrieval systems Social sciences - Data processing Database Management Computer and Information Systems Applications Artificial Intelligence Computing Milieux Information Storage and Retrieval Computer Application in Social and Behavioral Sciences |
| ISBN | 3-030-57672-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Architectures and Quality of Information Systems -- Artificial Intelligence in Information Systems -- Data and Knowledge Engineering -- Enterprise and Information Systems Engineering -- Security of Information Systems. |
| Record Nr. | UNINA-9910427720803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Perspectives in Business Informatics Research : 23rd International Conference on Business Informatics Research, BIR 2024, Prague, Czech Republic, September 11–13, 2024, Proceedings / / edited by Václav Řepa, Raimundas Matulevičius, Emanuele Laurenzi
| Perspectives in Business Informatics Research : 23rd International Conference on Business Informatics Research, BIR 2024, Prague, Czech Republic, September 11–13, 2024, Proceedings / / edited by Václav Řepa, Raimundas Matulevičius, Emanuele Laurenzi |
| Autore | Řepa Václav |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (268 pages) |
| Disciplina | 005.3 |
| Altri autori (Persone) |
MatulevičiusRaimundas
LaurenziEmanuele |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Information technology - Management
Business information services Artificial intelligence Software engineering Computer Application in Administrative Data Processing IT in Business Artificial Intelligence Enterprise Architecture Software Engineering |
| ISBN | 3-031-71333-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Keynotes -- Democratization of AI Tools: Bridging the Gap between Business Informatics and Accessible AI Innovation -- A Meaningful Road to Explanation -- Contents -- AI Opportunities and Challenges -- Business, Data and Analytics: Specifying AI Use Cases with the Help of Modeling Techniques -- 1 Introduction -- 2 Case Study Setting and Related Requirements -- 2.1 Case Study Setting -- 2.2 Case Study Requirements -- 3 Related Work and Choice of the Conceptual Model -- 3.1 Business View -- 3.2 Data and Analytics View -- 4 Application in a Real-World Case Study -- 4.1 Business View by Top-Down Strategy -- 4.2 Business View by User-Centric Strategy -- 4.3 Data View for the Prediction of Annual Construction Costs -- 4.4 Analytics View for the Prediction of Annual Construction Costs -- 5 Usefulness and Practical Application Tips -- 5.1 Usefulness of the Conceptual Models -- 5.2 Efficient Use of the Conceptual Model -- 6 Conclusion -- References -- Generative AI for BPMN Process Analysis: Experiments with Multi-modal Process Representations -- 1 Introduction -- 2 Large Language Models and the BPM Lifecycle -- 3 Related Works -- 4 Experimental Setup -- 5 Experimental Outcomes and Evaluation -- 5.1 RDF vs. XML Formats -- 5.2 RDF vs. Images (PNG) -- 5.3 Future Work: Serialization Generation -- 6 Conclusions -- References -- LLM-Assistance for Quality Control of LLM Output -- 1 Introduction -- 2 Theoretical Background -- 2.1 Large Language Models -- 2.2 LLM Support for Enterprise Modelling -- 3 Related Work -- 3.1 Quality Evaluation of LLM Output -- 3.2 Literature Analysis on LLM for Quality Control in EM -- 4 Quality Criteria for LLM Output in EM -- 4.1 Definition of Quality Criteria -- 4.2 Operationalization of the Defined Criteria -- 5 Experiments into LLM for Quality Control of LLM in EM.
5.1 Experiments in Triangulation -- 5.2 Experiments in Inverse Mappings -- 6 Conclusion and Future Work -- References -- AI Applications and Use Cases in Business -- Unlocking Viewer Insights in Linear Television: A Machine Learning Approach -- 1 Introduction -- 2 Pipeline -- 2.1 Data Collection -- 2.2 Determining Viewer Time Slots -- 2.3 Content Genre Biases: Unveiling Viewer Preferences -- 2.4 Device Signature: Capturing Essential Features -- 2.5 Household Categorisation: Timing and Content -- 3 Data Analysis and Feature Selection -- 3.1 Classification Results -- 3.2 Feature Significance -- 4 Machine Learning Experiments and Results -- 4.1 Error Analysis: Confusion Matrices -- 4.2 Summary of Results -- 5 Related Works -- 6 Conclusions and Future Work -- References -- Comparison of AI-Based Document Classification Platforms -- 1 Introduction -- 2 Overview of the Field of Document Classification -- 3 Comparison Methodology -- 3.1 Description of the Dataset Used for the Study -- 3.2 Free Open Source Models Implementation -- 3.3 Overview of Proprietary Software -- 3.4 Evaluation Metrics and Methodology for Comparison -- 4 Results -- 4.1 Performance of Free Open Source Software -- 4.2 Performance of Proprietary Software -- 4.3 Cost Comparison -- 5 Discussion, Conclusion and Limitations -- References -- Towards Model-driven Enhancement of Safety in Healthcare Robot Interactions -- 1 Introduction -- 2 Background -- 2.1 Robots in Healthcare -- 2.2 Robot Interaction -- 2.3 Safety in Robot Interactions -- 2.4 Challenges and Shortcomings -- 2.5 Modeling -- 3 Methodology -- 4 Findings from the Literature Review -- 4.1 Faults -- 4.2 Safety Dimensions -- 4.3 Dependability -- 5 Elicited Requirements -- 6 Safety as a Modeling Viewpoint -- 7 Instantiation of the Meta-Model Slice for a Use Case -- 8 Discussion -- 9 Conclusions -- References -- Business Intelligence. Modelling of Organisational Rules in Complex Adaptive Systems: a Systematic Mapping Study -- 1 Introduction -- 2 Organisations as Complex Adaptive Systems -- 3 Methodology -- 4 Results and Analysis -- 4.1 Components -- 4.2 Part-of -- 4.3 Behaviour -- 4.4 Adaptation -- 4.5 Complexity -- 5 Discussion -- 5.1 Abstraction and Power Relations -- 5.2 Absence of Nonlinearity and Nondeterminism -- 5.3 Social Interaction with Rules -- 5.4 Modelling Feedback Channels -- 6 Conclusion -- References -- Towards Method Support for Variability Modelling in Enterprise Architecture Management -- 1 Introduction -- 2 Research Approach -- 3 Background and Related Work -- 3.1 Enterprise Architecture Management -- 3.2 Variability in EAM -- 3.3 Method Engineering -- 4 Requirements to Method Support -- 4.1 Industrial Case Study -- 4.2 Method Requirements -- 5 Method Prototype -- 5.1 Definition of Building Block -- 5.2 Systematic Approach -- 5.3 Application of the Method Prototype in the Case Study -- 6 Discussion and Conclusions -- References -- Cross-section of Business Intelligence Projects: Information Systems Success Perspective -- 1 Introduction -- 2 Related Work -- 3 Business Intelligence Implementation Success Model -- 3.1 Foundation -- 3.2 Implementation Factors -- 3.3 Augmented Success Model -- 3.4 Project Success Evaluation -- 4 Implementation Projects -- 4.1 Successful Project Evaluation -- 4.2 Failed Project Evaluation -- 5 Conclusions -- References -- Business and Information Systems Development -- Incorporating Ethical Aspects in Information Systems Requirements Engineering -- 1 Introduction -- 2 Implementing Values into Requirements Engineering in Information Systems Context -- 2.1 Requirements Engineering -- 2.2 Ethical Analysis in Information Systems Research -- 3 Towards Introducing Ethical Analysis into Requirements Engineering -- 4 Discussion and Outlook. References -- Suitability of Business Process Modeling Methods for Requirements Elicitation -- 1 Introduction -- 2 Background -- 2.1 On Requirements Engineering Standards -- 2.2 Business Process Modeling Languages and Methods -- 3 The Analysis of the Languages/Methods -- 4 Discussion -- 5 Conclusion -- References -- Software Architectures and the Use of Knowledge Graphs to Support Their Design -- 1 Introduction -- 2 Methodology -- 3 Related Works -- 4 The Knowledge Structures of MVC -- 5 Glueing Together UML Designs and TOGAF's Architecture Migration in a Knowledge Graph -- 6 Discussion on Generalization Potential -- 7 Conclusions -- References -- Technical Debt - Insights Into a Manufacturing SME Case Study -- 1 Introduction -- 2 Background -- 2.1 Technical Debt -- 2.2 Literature Review -- 3 Research Method and Data Collection -- 4 Results -- 4.1 Technical Debt Model -- 4.2 Comparison to Software Industry -- 5 Conclusion and Discussion -- References -- Knowledge and Traceability Management -- Discovery Rules for Depicting Tacit Knowledge Usage and Management in Fractal Enterprise Models -- 1 Introduction -- 2 Research Background -- 2.1 Tacit Knowledge -- 2.2 Introduction to Fractal Enterprise Model -- 2.3 Research Approach -- 2.4 Literature Review: Tacit Knowledge in Enterprise Models -- 2.5 Discovery Power of Enterprise Modeling Languages -- 3 Discovery Rules for Internal Tacit Assets Management -- 3.1 Adding Tacit Asset -- 3.2 Learning from Experience -- 3.3 Socialization -- 3.4 Externalization -- 3.5 Internalization -- 3.6 An Example -- 4 Discovery Rules for External Tacit Assets Management -- 5 Conclusion and Plans for the Future -- References -- DDIs-Graph: an Approach to Identify Drug-Drug Interactions and Recommend Alternative Drugs -- 1 Introduction -- 2 Background -- 3 Material and Methods -- 4 Approach -- 5 Validation -- 6 Conclusion. References -- Exploring the Information Flow and the Grounding of Digital Product Passports Using the Work-Oriented Approach, an Industrial Case Study -- 1 Introduction -- 2 Background -- 2.1 Digital Product Passport -- 2.2 Work-Oriented Approach to Information Products (WOA) -- 3 Research and Case Method -- 3.1 Case Study Design -- 4 Industrial Case Study -- 4.1 Case Study Approach -- 4.2 WOA Starting Point -- 4.3 WOA Locate Context -- 4.4 WOA Frame -- 4.5 WOA Characterise -- 4.6 WOA Ground -- 4.7 WOA Retrospect -- 5 Discussions and Lessons Learned -- 6 Conclusions -- References -- Author Index. |
| Record Nr. | UNINA-9910886998303321 |
Řepa Václav
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Perspectives in Business Informatics Research : 14th International Conference, BIR 2015, Tartu, Estonia, August 26-28, 2015, Proceedings / / edited by Raimundas Matulevičius, Marlon Dumas
| Perspectives in Business Informatics Research : 14th International Conference, BIR 2015, Tartu, Estonia, August 26-28, 2015, Proceedings / / edited by Raimundas Matulevičius, Marlon Dumas |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVI, 291 p. 88 illus.) |
| Disciplina | 658.4038 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Business information services
Application software Information technology - Management Electronic data processing - Management Medical informatics IT in Business Computer and Information Systems Applications Computer Application in Administrative Data Processing IT Operations Health Informatics |
| ISBN | 3-319-21915-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynotes -- The Next Wave of Research in Business Process Management -- Liquid Business Process Model Collections: How to Get There -- Business Information Systems Interoperability -- Creation of Smart-Contracting Collaborations for Decentralized Autonomous Organizations -- Reliable Customers and Credible Fixed-Price Contracts for Software Development Projects: A Study of one Supplier's Contracts -- Life Events: a Crucial Point of e-Government -- A Linked Data Model for Web API-s -- Business Information System Requirements and Architecture -- Requirement Elicitation using Business Process Models -- Elements and Characteristics of Enterprise Architecture Capabilities -- Governing IT Services for Quantifying Business Impact -- On Design Research { Some Questions and Answers -- Business Process and Decision Management -- Selecting the \Right" Notation for Business Process Modeling: Experiences from an Industrial Case -- Modeling and Animation of Crisis Management Process with Statecharts -- Change Point Detection and Dealing with Gradual and Multi-Order Dynamics in Process Mining -- Quick Decide { A Tool to Aid the Analytic Hierarchy Process for Group Decisions -- Business Information Systems Development -- The Most Prominent Software Development Concepts Cited in IT Professionals' Blogs -- Towards a Consumer Preference-based Taxonomy for Information Systems Development -- Code Transformation Pattern Alignments and Induction for ERP Legacy Systems Migration -- Passive Condition Pre-Enforcement for Rights Exporting -- Research in Progress -- A Business Process Based Method for Capability Modelling -- Modeling for Viability -- Towards Graphical Query Notation for Semantic Databases -- Conceptualizing a Network Process Model Based Production Platform. |
| Record Nr. | UNINA-9910299248903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Secure IT Systems : 22nd Nordic Conference, NordSec 2017, Tartu, Estonia, November 8–10, 2017, Proceedings / / edited by Helger Lipmaa, Aikaterini Mitrokotsa, Raimundas Matulevičius
| Secure IT Systems : 22nd Nordic Conference, NordSec 2017, Tartu, Estonia, November 8–10, 2017, Proceedings / / edited by Helger Lipmaa, Aikaterini Mitrokotsa, Raimundas Matulevičius |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVIII, 313 p. 77 illus.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data protection
Cryptography Data encryption (Computer science) Application software Data mining Computers and civilization Computer engineering Computer networks Data and Information Security Cryptology Computer and Information Systems Applications Data Mining and Knowledge Discovery Computers and Society Computer Engineering and Networks |
| ISBN | 3-319-70290-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Abstracts of Invited Talks -- Homomorphic Authentication for Computing Securely on Untrusted Machines -- Security and Privacy Challenges in Machine Learning -- Proof of Stake Blockchain Protocols -- Contents -- Outsourcing Computations -- A Server-Assisted Hash-Based Signature Scheme -- 1 Introduction -- 2 Related Work -- 3 Our Contribution -- 4 Preliminaries -- 5 Description of the Scheme -- 6 Security Proof -- 7 Practical Considerations -- 8 Conclusions and Outlook -- References -- Outsourcing of Verifiable Attribute-Based Keyword Search -- 1 Introduction -- 1.1 Our Contribution -- 1.2 Related Work -- 2 Preliminaries -- 3 System Model -- 4 ABKS Outsourcing Scheme -- 4.1 Model of ABKS Outsourcing Scheme -- 4.2 Security Definition of ABKS Outsourcing Scheme -- 4.3 Our ABKS Outsourcing Scheme -- 5 VABKS Outsourcing Scheme -- 5.1 Model of VABKS Outsourcing Scheme -- 5.2 Security Definition of VABKS Outsourcing Scheme -- 5.3 Our VABKS Outsourcing Scheme -- 6 Comparison -- 7 Conclusion -- References -- Privacy Preservation -- Is RCB a Leakage Resilient Authenticated Encryption Scheme? -- 1 Introduction -- 2 Preliminaries and Notions -- 3 General Overview of RCB -- 4 Attacks on RCB -- 4.1 Forgery Attack -- 4.2 Attacks on Misuse Resistance -- 4.3 A Denial-of-Service (DoS) Attack -- 4.4 Attack on Full-Duplex Communication -- 5 Privacy by RCB -- 6 Conclusion -- References -- Practical and Secure Searchable Symmetric Encryption with a Small Index -- 1 Introduction -- 1.1 Backgrounds -- 1.2 Our Contributions -- 1.3 Related Works -- 2 Preliminaries -- 3 Bloom Filter -- 4 Proposed Scheme -- 4.1 Constructing an Encrypted Index -- 4.2 Search Protocol -- 5 Security Analysis -- 6 Experimental Results -- References -- Anonymous Certification for an e-Assessment Framework -- 1 Introduction -- 2 Related Work.
3 Anonymous Certification (AC) Construction -- 3.1 Background -- 3.2 Our Construction -- 4 E-learning Use Case for PCS -- 4.1 TeSLA Architecture -- 4.2 Pseudonymity -- 4.3 Integrating Anonymous Certification to TeSLA -- 5 Implementation and Security Details of PCS -- 5.1 Implementation Details -- 5.2 Security Level Sketch of Our Proposal -- 6 Conclusion -- References -- PARTS -- Privacy-Aware Routing with Transportation Subgraphs -- 1 Introduction -- 1.1 Contribution -- 1.2 Structure -- 2 Related Work -- 3 System Model -- 3.1 Road Network -- 3.2 Users -- 3.3 LBS Provider -- 3.4 Adversary -- 4 Strategies for Privacy-Enhanced Routing -- 4.1 Route Parts -- 4.2 Dummy Traffic -- 4.3 Time Shift Requests -- 5 Adversary's Inference Model -- 5.1 Background Knowledge -- 5.2 Empirically Improved Guessing -- 5.3 Privacy Measurement -- 6 Evaluation -- 6.1 Dataset and Simulator -- 6.2 Experimental Setup -- 6.3 Overhead of Segmented Routes -- 6.4 Privacy Related Results -- 6.5 Performance Analysis -- 7 Discussion -- 8 Conclusion -- References -- Security and Privacy in Machine Learning -- Bayesian Network Models in Cyber Security: A Systematic Review -- 1 Introduction -- 2 Review Methodology -- 3 Analysis of Standard Bayesian Network Models in Cyber Security -- 3.1 Citation Details -- 3.2 Data Sources Used to Construct DAGs and Populate CPTs -- 3.3 The Number of Nodes Used in the Model -- 3.4 Type of Threat Actor -- 3.5 Application and Application Sector -- 3.6 Scope of Variables -- 3.7 The Approach(es) Used to Validate Models -- 3.8 Model Purpose and Type of Purpose -- 4 Discussion -- 5 Conclusions and Future Work -- References -- Improving and Measuring Learning Effectiveness at Cyber Defense Exercises -- 1 Introduction -- 2 Learning Measurement Dimensions in CDX's -- 2.1 5-Timestamp Methodology -- 2.2 Data Collection and Sources -- 3 LS17---Learning Measurement. 3.1 5-Timestamp Methodology Experience -- 3.2 Discussion and Findings from LS17 Learning Measurement -- 4 Related Work in Learning Measurement Context -- 5 Conclusion -- References -- Privacy-Preserving Frequent Itemset Mining for Sparse and Dense Data -- 1 Introduction -- 2 Preliminaries -- 2.1 Secure Multiparty Computation -- 2.2 Notation -- 2.3 General FIM Algorithms -- 3 Privacy-Preserving FIM -- 3.1 Algorithms for Privacy Preserving FIM -- 3.2 Comparing Bit Matrix and Set Based Approaches -- 3.3 Combining Dense and Sparse Representations -- 4 Benchmarks -- 5 Conclusion -- References -- Applications -- Free Rides in Denmark: Lessons from Improperly Generated Mobile Transport Tickets -- 1 Introduction -- 2 Ceremony Description -- 2.1 Description of Mobilpendlerkort -- 2.2 Building the Inspection Ceremony -- 3 Attack Demonstration -- 3.1 Barcode Analysis -- 3.2 Primary Screen Forgery -- 3.3 Extra Zone Ticket Forgery -- 4 Principles -- 5 Alternative Inspection Ceremony -- 6 Related Work -- 7 Conclusions -- References -- Using the Estonian Electronic Identity Card for Authentication to a Machine -- 1 Introduction -- 2 Card Authentication -- 2.1 Document Expiration and Revocation Checks -- 2.2 Card Impersonation -- 3 Attacks by Malicious Terminals -- 3.1 Compromising the Cardholder's Privacy -- 3.2 Denial-of-Service Attacks -- 3.3 Unauthorized Use of Private Keys -- 4 Design of ID Card Emulator -- 4.1 Card ATR Adjustment -- 4.2 APDU Logging Functionality -- 4.3 Visual Imitation of ID Card -- 5 Card Authentication in Practice -- 6 Discussion: Improvements -- 6.1 Cloning Prevention -- 6.2 Cardholder Verification -- 6.3 Contactless Interface -- 7 Conclusion -- References -- Data Aware Defense (DaD): Towards a Generic and Practical Ransomware Countermeasure -- 1 Introduction -- 2 Related Work -- 3 Statistical Tests for Ransomware Attacks Detection. 4 Towards a Generic and Practical Ransomware Countermeasure -- 4.1 File System Activity Monitoring -- 4.2 Implementation Design -- 4.3 A Single Indicator of Compromise -- 5 Experiments: Performance Evaluation -- 5.1 Disk Performance -- 5.2 CPU Performance -- 5.3 Discussion -- 6 Experiments: Ransomware Detection -- 6.1 Malware - O - Matic -- 6.2 Experimental Setup -- 6.3 Detection Results -- 6.4 Ransomware-Like Applications -- 7 Conclusions -- References -- A Large-Scale Analysis of Download Portals and Freeware Installers -- 1 Introduction -- 2 Background -- 3 Methodology -- 3.1 Analysis System Overview -- 3.2 Installer Crawling -- 4 Results -- 4.1 Static Properties of the Installers -- 4.2 Dynamic Analysis of Installers -- 4.3 App Managers and Software Updates -- 5 Discussion and Future Work -- 6 Conclusion -- References -- Access Control -- GPASS: A Password Manager with Group-Based Access Control -- 1 Introduction -- 2 Related Work -- 3 Models and Assumptions -- 3.1 System Model -- 3.2 Threat Model -- 3.3 System Goals -- 3.4 Security Goals -- 4 GPASS -- 4.1 Overview -- 4.2 Fundamental Operations -- 5 Security Analysis -- 6 Extended GPASS -- 7 Implementation -- 8 Discussion -- 9 Conclusion -- References -- Towards Accelerated Usage Control Based on Access Correlations -- 1 Introduction -- 2 The Problem -- 3 Our Approach: SPEEDAC -- 3.1 Speculative Pre-computation of Decisions -- 3.2 Utilization of Access Correlations -- 3.3 Perceivable Overhead -- 4 Case Study -- 5 Enforcement Mechanism -- 5.1 Design Space -- 5.2 Design for Effectiveness -- 5.3 Implementation -- 6 Performance Evaluation -- 6.1 Experimental Setup -- 6.2 Perceivable Overhead -- 6.3 File-Correlation Effects -- 7 Related Work -- 8 Conclusion -- References -- Emerging Security Areas -- Generating Functionally Equivalent Programs Having Non-isomorphic Control-Flow Graphs. 1 Introduction -- 2 Control Flow Graph Transcompilation -- 2.1 Prerequisites -- 2.2 Overview of Our Approach -- 2.3 Contexts -- 2.4 Node Passivation -- 2.5 Jumps and Internal Calls -- 2.6 Routing -- 3 Control Flow Graph Obfuscation -- 3.1 Forcing Execution -- 3.2 Node Hiding -- 3.3 Route Hiding -- 4 Security -- 4.1 Security Against Dynamic Analysis -- 5 Implementation -- 6 Conclusion -- References -- Proof of a Shuffle for Lattice-Based Cryptography -- 1 Introduction -- 1.1 Related Work -- 1.2 Our Contribution -- 2 Preliminaries -- 2.1 Ideal Lattices -- 2.2 RLWE Encryption Scheme -- 2.3 Zero Knowledge Proofs -- 2.4 Pedersen Commitments -- 3 Shuffling Ring-LWE Encryptions -- 3.1 Protocol Overview -- 3.2 Proof of Knowledge of Permutation Matrix -- 3.3 Proof of Knowledge of Small Exponents -- 3.4 Opening the Commitments -- 4 Conclusions -- References -- An Analysis of Bitcoin Laundry Services -- 1 Introduction to Tumblers -- 2 Results -- 2.1 DarkLaunder, Bitlaunder and CoinMixer -- 2.2 Helix -- 2.3 Alphabay -- 3 Conclusions -- References -- Author Index. |
| Record Nr. | UNINA-9910483725903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||