{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":4,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":88,"n_cols":5,"rows_kept":88,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[11,2,11,3],[11,4,11,5],[12,2,12,3],[12,4,12,5],[13,2,13,3],[15,2,15,3],[16,2,16,3],[17,2,17,3],[18,2,18,3],[19,2,19,3],[21,2,21,3],[22,2,22,3],[25,2,25,3],[34,2,34,3],[34,4,34,5],[35,2,35,3],[35,4,35,5],[36,2,36,3],[37,2,37,3],[38,2,38,3],[39,2,39,3],[40,2,40,3],[41,2,41,3],[43,2,43,3],[53,2,53,3],[54,2,54,3],[57,2,57,3],[67,2,67,3],[67,4,67,5],[68,2,68,3],[68,4,68,5],[69,2,69,3],[70,2,70,3],[71,2,71,3],[72,2,72,3],[73,2,73,3],[74,2,74,3],[75,2,75,3],[82,2,82,3],[83,2,83,3],[86,2,86,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA990000038070403321"]
[null,null,"Autore",null,"Föppl, August"]
[null,null,"Titolo",null,"Die geometrie der wirbelfelder : in anlehnung an das buch des verfassers uber die Maxwell'sche theorie der elektricitatund zu dessen erganzung / A. Foppl"]
[null,null,"Pubbl/distr/stampa",null,"Liepzig : B. G. Teubner, 1897"]
[null,null,"Descrizione fisica",null,"X, 413 p. : ill. ; 23 cm"]
[null,null,"Disciplina",null,"530.141"]
[null,null,"Locazione",null,"FINBC"]
[null,null,"Collocazione",null,"13 AR 22 A 51"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNISA996478862103316"]
[null,null,"Titolo",null,"Computers helping people with special needs . Part I : 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11-15, 2022, proceedings / / Klaus Miesenberger [and five others] (editors)"]
[null,null,"Pubbl/distr/stampa",null,"Cham, Switzerland : , : Springer, , [2022]"]
[{"$nulls":4},"©2022"]
[null,null,"ISBN",null,"3-031-08648-1"]
[null,null,"Descrizione fisica",null,"1 online resource (573 pages)"]
[null,null,"Collana",null,"Lecture notes in computer science ; ; Volume 13341"]
[null,null,"Disciplina",null,"362.4048"]
[null,null,"Soggetti",null,"Computerized self-help devices for people with disabilities"]
[{"$nulls":4},"Computers and people with disabilities"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Computers Helping People with Special Needs -- Preface -- Organization -- Contents - Part I -- Contents - Part II -- Art Karshmer Lectures in Access to Mathematics, Science and Engineering -- Art Karshmer Lectures in Access to Mathematics, Science and Engineering -- 1 Accessing -- 2 Understanding -- 3 Doing -- 4 Graphical Content -- References -- Conversion of Multi-lingual STEM Documents in E-Born PDF into Various Accessible E-Formats -- 1 Introduction -- 2 Background -- 3 Method -- 4 Multilingual Support in GUI -- 5 Evaluation -- 6 Conclusion and Future Works -- References -- An Efficient Method to Produce Accessible Contents for Online STEM Education -- 1 Introduction -- 2 Method -- 3 Preliminary Evaluation Report -- 4 Conclusion and Future Tasks -- References -- Making Equations Accessible in Scientific Documents -- 1 Introduction -- 2 Previous Work -- 3 Methodology -- 3.1 Pipeline -- 3.2 Heuristics - Display and Inline Maths -- 4 Work Status and Results -- 5 Conclusion and Future Work -- References -- Towards Semantically Enhanced Audio Rendering of Equations -- 1 Introduction and Motivation -- 2 Contextual Semantic Analysis -- 3 Literature Review -- 4 Architecture -- 4.1 Definition Extractor -- 4.2 Classifier -- 4.3 Semantic Extractor -- 4.4 Scope Finder -- 5 Conclusion -- References -- Accessible Chemical Structural Formulas Through Interactive Document Labeling -- 1 Introduction -- 2 Related Work -- 2.1 Accessibility of Structural Formulas -- 2.2 Learning-Based Detection and Labeling of Structural "]
[{"$nulls":4},"Formulas -- 3 Interactive Labeling of Structural Formulas -- 4 Evaluation -- 5 Conclusions -- References -- Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover -- 1 Introduction -- 2 A Vision for Educational Math Software -- 3 User Requirements -- 4 Case Study: Solving Complex Problems."]
[{"$nulls":4},"4.1 An Example from Electrical Engineering -- 4.2 From Text and Figure to Formulas -- 4.3 ``Next-Step Guidance'' by a Hidden Formalisation -- 4.4 Relate the Problem to Available Knowledge -- 4.5 Iterating through the Tasks -- 5 Conclusion -- References -- Developing a Corpus of Hierarchically Classified STEM Images for Accessibility Purposes -- 1 Introduction -- 2 Images' Selection State of the Art -- 3 Corpus Creation Methodology -- 4 Image Classification -- 4.1 Creation of Categories -- 4.2 Assigning Images to Categories -- 5 Conclusions -- References -- Effective Non-visual Access to Diagrams via an Augmented Natural Language Interface -- 1 Introduction -- 1.1 Diagram Accessibility -- 1.2 AUDiaL: A Natural Language Interface to Diagrams -- 2 Accessible NLI to Diagrams -- 2.1 HCI Techniques for NLI Accessibility -- 2.2 Validation -- 3 Conclusion -- References -- Interface for Automatic Tactile Display of Data Plots -- 1 Introduction -- 2 Related Work -- 3 Comparison of Different Computer Algebraic Systems -- 4 The Tactile Plot Application -- 4.1 Interaction Concept -- 5 User Study -- 5.1 Participants -- 5.2 The Tasks -- 6 Results -- 7 Conclusions and Future Work -- References -- Mobile e-Learning Platform for Audio-Tactile Graphics Presentation -- 1 Introduction -- 2 The State of the Art -- 3 Our Research -- 3.1 Developed Platform -- 3.2 Research Group -- 3.3 Materials -- 3.4 Research Methodology -- 4 The Research Results -- 5 Discussion and Conclusion -- References -- Digital Solutions for Inclusive Mobility: Solutions and Accessible Maps for Indoor and Outdoor Mobility -- Digital Solutions for Inclusive Mobility: Solutions and Accessible Maps for Indoor and Outdoor Mobility -- 1 Introduction -- 2 Current Solutions to Improve Mobility -- 2.1 Information Needs -- 2.2 Orientation and Wayfinding -- 2.3 Tactile Maps."]
[{"$nulls":4},"2.4 Location-Based Services and Adaptive Routing -- 3 Conclusions -- References -- Split it Up: Allocentric Descriptions of Indoor Maps for People with Visual Impairments -- 1 Introduction -- 2 Related Work -- 3 A System for Modular Allocentric Descriptions -- 3.1 Design of the System -- 3.2 User Interface (UI) -- 4 User Study -- 4.1 Questionnaire and Procedure -- 4.2 Results -- 4.3 Discussion -- 5 Conclusions -- References -- Expert Study: Design and Use of Textures for Tactile Indoor Maps with Varying Elevation Levels -- 1 Introduction -- 2 Related Work -- 3 Use of Textures for Tactile Indoor Maps -- 4 Initial User Study on Tactile Indoor Map Design -- 4.1 Participants and Procedure -- 4.2 Results of the Initial User Study -- 5 Follow-up Study: Design of Textures in Tactile Indoor Maps -- 5.1 Materials and Procedure -- 5.2 Results and Observations of the Follow-Up Study -- 5.3 Summary of the Results -- 6 Conclusion -- References -- ATIM: Automated Generation of Interactive, Audio-Tactile Indoor Maps by Means of a Digital Pen -- 1 Introduction -- 2 Interactive Tactile Maps -- 3 Creating and Designing Audio-Tactile Indoor Maps -- 3.1 Producing Audio-Tactile Indoor Maps with a Digital Pen -- 3.2 Prototype for Audio-Tactile Indoor Maps -- 3.3 Pilot Study -- 4 Discussion and Outlook -- References -- An Audio-Tactile System for Visually Impaired People to Explore Indoor Maps -- 1 Introduction -- 2 Related Work -- 3 Creating New Features for TPad -- 4 Indoor Map Interaction Using TPad -- 5 User Study -- 5.1 Participants -- 5.2 Method -- 6 Results -- 7 Conclusions and Future Work -- References "]
[{"$nulls":4},"-- Supporting Independent Travelling for People with Visual Impairments in Buildings by Harmonizing Maps on Embossed Paper and Pin-Matrix Devices for Accessible Info-Points -- 1 Introduction -- 2 State of the Art -- 3 Concepts for Exploring Indoor Maps."]
[{"$nulls":4},"3.1 Concept of Splitting for Printable Tactile Maps -- 3.2 Concepts of Exploring with Braille Tactile Maps -- 4 Conclusion and Future Work -- References -- The Accessible Tactile Indoor Maps (ATIM) Symbol Set: A Common Symbol Set for Different Printing Methods -- 1 Introduction -- 2 Related Work -- 3 Creation of a Tactile Symbol Set for Indoor Maps -- 3.1 Selection Criteria -- 3.2 Transfer to a Lower Resolution Printing Technique -- 3.3 Testing and Adaption of the Symbols -- 4 The ATIM Symbol Set -- 4.1 Tactile Indoor Symbols with Distinct Semantics -- 5 Recommendations to Use the Symbols -- 6 Conclusion -- References -- Indoor Navigation Assistance for Visually Impaired People via Dynamic SLAM and Panoptic Segmentation with an RGB-D Sensor -- 1 Introduction -- 2 Related Work -- 3 Method -- 3.1 Preprocessing -- 3.2 Identifying Dynamic Objects -- 3.3 Ego-motion Estimation -- 3.4 Dynamic Objects Pose and Speed Estimation -- 4 Evaluation -- 5 Conclusion -- References -- Accessible Adaptable Indoor Routing for People with Disabilities -- 1 Introduction -- 2 State of the Art -- 3 Adaptable Indoor Routing for People with Disabilities -- 4 Evaluation Through a Pilot Study -- 5 Conclusion -- References -- Monocular Localization Using Invariant Image Feature Matching to Assist Navigation -- 1 Introduction -- 2 Related Work -- 3 Creating Path Feature Graph Object -- 4 Current Limitations and Future Work -- 5 Conclusion -- References -- Can Route Previews Amplify Building Orientation for People with Visual Impairment? -- 1 Introduction -- 2 Related Work -- 3 Transferring Real-World into Cognitive Maps -- 4 Evaluation Study, Results and Discussion -- 5 Conclusion -- References -- Implementation and Innovation in the Area of Independent Mobility Through Digital Technologies."]
[{"$nulls":4},"Implementation and Innovation in the Area of Independent Mobility Through Digital Technologies -- 1 Introduction -- 1.1 Co-design and Innovation in Mobility -- 1.2 Adoption of Innovation -- 1.3 Accessibility Standards and Legislation for Communicating Information -- 1.4 Routing and Journey Planning -- 1.5 The Final Leg of the Journey - Within Buildings -- 1.6 Transference -- 1.7 Summary -- References -- The Impact of Subjective Technology Adaptivity on the Willingness of Persons with Disabilities to Use Emerging Assistive Technologies: A European Perspective -- 1 Introduction -- 2 Methodology -- 2.1 Online Survey -- 2.2 Study Participants -- 3 Results -- 3.1 Subjective Technology Adaptivity -- 3.2 Use Intention for Emerging Technologies -- 4 Discussion -- References -- Towards Personalized Accessible Routing for People with Mobility Impairments -- 1 Introduction -- 2 State of the Art in Accessible Routing -- 3 Vision of Personalized Accessible Routing -- 4 Case Study Zurich -- 5 Conclusion -- References -- Traveling to Unknown Buildings: Accessibility Features for Indoor Maps -- 1 Introduction -- 2 Previous Work -- 3 Literature Review on Accessibility Features -- 4 Database of Accessibility Features for Maps -- 5 Discussion -- 6 Conclusions and Future Work -- References -- Acquiring Surrounding Visual Information Without Actively Taking Photos for People with Visual Impairment -- 1 Introduction -- 2 Related Work -- 3 User Study -- 3.1 Voice Guidance System -- 3.2 Results and Discussion -- 4 Conclusions -- References -- Listening First: Egocentric Textual Descriptions of Indoor Spaces for People with Blindness -- 1 Introduction -- 2 Related Work -- 3 Design of an Egocentric Description Component -- 3.1 Analysis of Literature and Existing Solutions -- 3.2 Specification of the Grammar -- 4 User "]
[{"$nulls":4},"Study -- 5 Results -- 6 Conclusion -- References."]
[{"$nulls":4},"Haptic and Digital Access to Art and Artefacts."]
[null,"3.","Record Nr.",null,"UNINA9910574075903321"]
[null,null,"Titolo",null,"Advances in Cryptology – EUROCRYPT 2022 : 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30 – June 3, 2022, Proceedings, Part II / / edited by Orr Dunkelman, Stefan Dziembowski"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022"]
[null,null,"ISBN",null,"3-031-07085-2"]
[null,null,"Edizione",null,"[1st ed. 2022.]"]
[null,null,"Descrizione fisica",null,"1 online resource (920 pages)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 1611-3349 ; ; 13276"]
[null,null,"Disciplina",null,"929.605"]
[{"$nulls":4},"005.82"]
[null,null,"Soggetti",null,"Cryptography"]
[{"$nulls":4},"Data encryption (Computer science)"]
[{"$nulls":4},"Application software"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Coding theory"]
[{"$nulls":4},"Information theory"]
[{"$nulls":4},"Cryptology"]
[{"$nulls":4},"Computer and Information Systems Applications"]
[{"$nulls":4},"Computer Communication Networks"]
[{"$nulls":4},"Coding and Information Theory"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Intro -- Preface -- Organization -- Contents - Part II -- Cryptographic Protocols -- Single-Server Private Information Retrieval with Sublinear Amortized Time -- 1 Introduction -- 1.1 Our Results -- 1.2 Overview of Techniques -- 1.3 Related Work -- 2 Background -- 2.1 Standard Definitions -- 2.2 Definition of Offline/Online PIR -- 3 Two-Server PIR with a Single-Server Online Phase and Sublinear Amortized Time -- Construction 3 -- 4 Single-Server PIR with Sublinear Amortized Time from DCR, QR, DDH, or LWE -- 5 Single-Server PIR with Optimal Amortized Time and Storage from Fully Homomorphic Encryption -- 6 Lower Bounds -- 6.1 Lower Bound for Adaptive Schemes -- 6.2 Lower Bound for Batch PIR with Advice -- 7 Conclusion -- References -- Anamorphic Encryption: Private Communication Against a Dictator -- 1 "]
[{"$nulls":4},"Introduction -- 2 Related Works -- 3 Our Approach -- 4 Receiver-Anamorphic Encryption -- 4.1 Syntax -- 4.2 Modes of Operation -- 4.3 Security Notion -- 4.4 Properties of the Anamorphic Mode with Normal Encryption -- 4.5 Security of the Fully Anamorphic Mode -- 5 Constructions -- 5.1 Rejection Sampling -- 5.2 The Naor-Yung Transform -- 5.3 The NY Transform Gives Receive-AM Encryption -- 6 Sender-Anamorphic Encryption -- 6.1 Sufficient Conditions for Sender-AM with No Shared Key -- 6.2 Constructions Based on LWE Encryption Schemes -- 7 Conclusion -- References -- A PCP Theorem for Interactive Proofs and Applications -- 1 Introduction -- 1.1 Main Results -- 1.2 A Cryptographic Application to SNARKs -- 2 Techniques -- 2.1 Towards Transforming IPs to IOPs -- 2.2 Local Access to Randomness -- 2.3 Index-Decodable PCPs -- 2.4 Local Access to Prover Messages -- 2.5 Constructing Index-Decodable PCPs -- 2.6 Commit-and Prove SNARKs from Index-Decodable PCPs -- 2.7 Hardness of Approximation -- References."]
[{"$nulls":4},"Group Signatures and More from Isogenies and Lattices: Generic, Simple, and Efficient -- 1 Introduction -- 1.1 Our Contribution -- 1.2 Technical Overview -- 2 Preliminaries -- 2.1 Non-interactive Zero-Knowledge Proofs of Knowledge in the ROM -- 2.2 Accountable Ring Signatures -- 3 Generic Construction of Accountable Ring Signature and Dynamic Group Signature -- 3.1 Generic Construction of Accountable Ring Signature -- 3.2 Accountable Ring Signature to Dynamic Group Signature -- 3.3 Tightly Secure Variant -- 4 Group-Action-Based Hard Instance Generators and PKEs -- 4.1 Group-Action-Based Hard Instance Generator -- 4.2 Group-Action-Based PKE -- 5 Sigma Protocol for a ``Traceable'' OR Relation -- 5.1 From a Group-Action-Based HIG and PKE to Base Traceable or Sigma Protocol -- 5.2 From Base to Main Traceable or Sigma Protocol -- 5.3 Base Sigma Protocol for the ``Tight'' Relation R-tight -- 6 Multi-proof Online Extractable NIZK from Sigma Protocol main traceable OR sigma protocol -- 7 Instantiations -- References -- Asymmetric PAKE with Low Computation and communication -- 1 Introduction -- 2 Key-Hiding One-Time-Key AKE -- 2.1 2DH as Key-Hiding One-Time-Key AKE -- 2.2 One-Pass HMQV as Key-Hiding One-Time-Key AKE -- 3 Protocol OKAPE: Asymmetric PAKE Construction #1 -- 4 Protocol aEKE: Asymmetric PAKE Construction #2 -- 5 Concrete aPAKE Protocol Instantiations -- 6 Curve Encodings and Ideal Cipher -- A  Universally Composable Asymmetric PAKE Model -- B  Simulator for Proof of Theorem 3 -- References -- Batch-OT with Optimal Rate -- 1 Introduction -- 1.1 Our Contribution -- 1.2 Related Work -- 2 Technical Overview -- 2.1 Oblivious Transfer from Homomorphic Encryption -- 2.2 Download-Rate Optimal String OT -- 2.3 Our Approach: Recrypting the Receiver's Message -- 2.4 Dealing with LPN Errors -- 2.5 Emulating Small Subgroups -- 3 Preliminaries."]
[{"$nulls":4},"3.1 Lattices and Gaussians -- 3.2 Distributed GGM-PPRF Correlation -- 4 Compression-Friendly Subgroup Emulation via Gaussian Rounding -- 5 Rate-1 Circuit-Private Linearly Homomorphic Encryption -- 5.1 Construction from DDH -- 6 Co-private Information Retrieval -- 6.1 Definition -- 7 Oblivious Transfer with Overall Rate 1 -- 7.1 The Protocol -- 7.2 Security -- 8 Oblivious Matrix-Vector Product and Oblivious Linear Evaluation with Overall Rate 1 -- 8.1 OLE Protocol -- A  Additional Preliminaries -- A.1  UC Security -- A.2  Learning Parity with Noise -- References -- Adaptively Secure Computation for RAM Programs -- 1 Introduction -- 1.1 Our Results -- 1.2 Our Techniques -- 2 Equivocal ORAM -- 3 RAM-Efficient Equivocal Encryption -- 3.1 Our Construction -- 4 Equivocal Garbled RAM -- 4.1 Our Construction -- 4.2 Putting It Together -- 5 Adaptive Zero-Knowledge for RAM -- "]
[{"$nulls":4},"5.1 Splitable Garbling -- 5.2 Our Adaptive UC ZK Protocol -- References -- Optimal Broadcast Encryption and CP-ABE from Evasive Lattice Assumptions -- 1 Introduction -- 2 Technical Overview -- 2.1 Our CP-ABE Schemes -- 2.2 On Evasive Lattice Assumptions -- 2.3 Additional Related Work -- 3 Preliminaries -- 3.1 Lattices Background -- 3.2 Attribute-Based Encryption -- 4 Evasive LWE -- 5 Main Constructions -- 5.1 Homomorphic Computation on Matrices -- 5.2 CP-ABE for NC1 Circuits -- 5.3 Optimal Broadcast Encryption -- 5.4 CP-ABE for Polynomial-Depth Circuits -- 6 Discussion on Evasive LWE -- References -- Embedding the UC Model into the IITM Model -- 1 Introduction -- 2 A Brief Overview of the UC and IITM Models -- 2.1 The UC Model -- 2.2 The IITM Model -- 3 Embedding the UC Model in the IITM Model -- 3.1 Main Conceptual Differences -- 3.2 Mapping Protocols -- 3.3 UC Security Implies IITM Security -- 3.4 UC Composition Implies IITM Composition."]
[{"$nulls":4},"3.5 Capturing Dynamically Generated Machine Code -- 3.6 Discussion: Beyond UC Protocols -- 4 Impossibility of Embedding the IITM Model into the UC Model -- References -- Zero-Knowledge Proofs -- Zero-Knowledge IOPs with Linear-Time Prover and Polylogarithmic-Time Verifier -- 1 Introduction -- 1.1 Our Results -- 1.2 Related Work on Probabilistic Proofs -- 1.3 Related Work on Succinct Arguments -- 2 Techniques -- 2.1 Approach Overview -- 2.2 Construction Overview -- 2.3 From Tensor-Queries to Point-Queries in Zero-Knowledge -- 2.4 Tensor IOP for R1CS with Semi-honest Verifier Zero Knowledge -- 2.5 Hiding Properties of Linear Codes -- 2.6 On Bounded-Query Zero Knowledge -- 2.7 Linear-Time Succinct Arguments from Linear-Time IOPs -- References -- Non-Interactive Zero-Knowledge Proofs with Fine-Grained Security -- 1 Introduction -- 1.1 Our Contributions -- 1.2 Technical Details -- 2 Preliminaries -- 2.1 Function Families -- 2.2 Sampling Procedure -- 2.3 Proof Systems -- 3 AC0[2]-Protocol for Linear Languages -- 4 Fine-Grained NIZK for Linear Languages -- 5 Fine-Grained OR-Proof -- 6 Fine-Grained NIZK Proof for Circuit SAT -- 7 Fine-Grained NIZK for AC0CM[2] with Short Proofs -- 7.1 Definition of Fine-Grained sFHE -- 7.2 Construction of Fine-Grained sFHE -- 7.3 Generic Construction of NIZK -- 8 Fine-Grained Non-Interactive Zap -- 8.1 Verifiable Correlated Key Generation -- 8.2 Construction of Fine-Grained Non-Interactive Zap -- 9 Fine-Grained NIZK in the URS Model -- References -- On Succinct Non-interactive Arguments in Relativized Worlds -- 1 Introduction -- 1.1 Our Results -- 1.2 Related Work -- 2 Techniques -- 2.1 Linear Code Random Oracles -- 2.2 Accumulation Scheme for Low-Degree Random Oracles -- 2.3 A Forking Lemma for Linear Code Random Oracles -- 2.4 A Zero-Finding Game for Low-Degree Random Oracles -- 2.5 SNARKs for Oracle Computations."]
[{"$nulls":4},"3 Preliminaries -- 3.1 Notations -- 3.2 Non-interactive Arguments in Oracle Models -- 3.3 Accumulation Schemes -- 3.4 Commitment Schemes -- 4 Linear Code Random Oracles -- 4.1 Query Transcripts and Partial Oracles -- 4.2 Constraints -- 4.3 Query Complexity -- 4.4 Low-Degree Random Oracles -- 5 A Forking Lemma for Linear Code Random Oracles -- 6 Oracle Zero-Finding Games -- 7 Accumulation Scheme for Low-Degree Random Oracles -- References -- Families of SNARK-Friendly 2-Chains of Elliptic Curves -- 1 Introduction -- 2 Preliminaries -- 2.1 Background on Bilinear Pairings -- 2.2 zk-SNARKs -- 2.3 SNARK-Friendly Chains -- 3 Inner Curves: Barreto-Lynn-Scott (BLS) Curves -- 3.1 Parameters with a Polynomial Form -- 3.2 Faster Co-factor Multiplication -- 3.3 Subgroup Membership Testing: GT -- 3.4 Choosing a Curve Coefficient b=1 -- 3.5 SNARK-Friendly Inner BLS Curves -- 4 Outer Curves: Brezing-Weng, Cocks-Pinch -- 4.1 Generic BW6 Curve Parameters -- 4.2 BW6 with BLS-12 -- 4.3 BW6 with BLS-24 "]
[{"$nulls":4},"-- 4.4 Two-Chains with Inner BLS and Outer Cocks-Pinch -- 4.5 Comparison of BW6, CP8 and CP12 Outer Curve Performances -- 5 Implementation and Benchmarking -- 5.1 SageMath Library: Derive the Curves -- 5.2 Our Short-List of Curves -- 5.3 Estimated Complexity of a DL Computation in GF(qk) -- 5.4 Golang Library: Implement the Short-List Curves -- 5.5 Benchmarking -- 6 Conclusion -- References -- Fiat-Shamir Bulletproofs are Non-Malleable (in the Algebraic Group Model) -- 1 Introduction -- 1.1 Technical Overview -- 1.2 Related Work -- 2 Preliminaries -- 3 Simulation-Extractability from State-Restoration Unique Response -- 3.1 Simulation-Extractability in the AGM -- 3.2 From Weak Unique Response to Simulation-extractability -- 3.3 Generic Result on Simulation-Extractability -- 4 Non-Malleability of Bulletproofs - Arithmetic Circuits -- 4.1 Algebraic Simulation."]
[{"$nulls":4},"4.2 State-Restoration Unique Responses."]
[null,null,null,"Sommario/riassunto","The 3-volume-set LNCS 13275, 13276 and 13277 constitutes the refereed proceedings of the 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Eurocrypt 2022, which was held in Trondheim, Norway, during 30 May – 3 June, 2022. The 85 full papers included in these proceedings were accepted from a total of 372 submissions. They were organized in topical sections as follows: Part I: Best Paper Award; Secure Multiparty Computation; Homomorphic Encryption; Obfuscation; Part II: Cryptographic Protocols; Cryptographic Primitives; Real-World Systems Part III: Symmetric-Key Cryptanalysis; Side Channel Attacks and Masking, Post-Quantum Cryptography; Information-Theoretic Security."]
[null,"4.","Record Nr.",null,"UNINA9910483297303321"]
[null,null,"Titolo",null,"Applied Cryptography and Network Security : 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings / / edited by Ioana Boureanu, Philippe Owesarski, Serge Vaudenay"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014"]
[null,null,"ISBN",null,"3-319-07536-5"]
[null,null,"Edizione",null,"[1st ed. 2014.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XVIII, 586 p. 127 illus.)"]
[null,null,"Collana",null,"Security and Cryptology, , 2946-1863 ; ; 8479"]
[null,null,"Disciplina",null,"005.8"]
[null,null,"Soggetti",null,"Data protection"]
[{"$nulls":4},"Cryptography"]
[{"$nulls":4},"Data encryption (Computer science)"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Data and Information Security"]
[{"$nulls":4},"Cryptology"]
[{"$nulls":4},"Theory of Computation"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,"Nota di contenuto",null,"Key exchange -- Primitive construction -- Attacks (public-key cryptography) -- Hashing -- Cryptanalysis and attacks (symmetric cryptography) -- Network security -- Signatures -- System security.- Secure computation."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 12th International Conference on Applied Cryptography and Network Security, ACNS 2014, held in Lausanne, Switzerland, in June 2014. The 33 revised full papers included in this volume were carefully reviewed and selected from 147 submissions. They are organized in topical sections on key exchange; primitive construction; attacks (public-key cryptography); hashing; cryptanalysis and attacks (symmetric cryptography); network security; signatures; system security; and secure computation."]