1.

Record Nr.

UNINA9910508435903321

Titolo

Theory of Cryptography : 19th International Conference, TCC 2021, Raleigh, NC, USA, November 8–11, 2021, Proceedings, Part I / / edited by Kobbi Nissim, Brent Waters

Pubbl/distr/stampa

Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021

ISBN

3-030-90459-8

Edizione

[1st ed. 2021.]

Descrizione fisica

1 online resource (799 pages)

Collana

Security and Cryptology, , 2946-1863 ; ; 13042

Disciplina

005.82

Soggetti

Cryptography

Data encryption (Computer science)

Coding theory

Information theory

Computer engineering

Computer networks

Data protection

Cryptology

Coding and Information Theory

Computer Engineering and Networks

Computer Communication Networks

Data and Information Security

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

Secure Quantum Computation with Classical Communication -- Secure Software Leasing from Standard Assumptions -- Post-quantum Resettably-Sound Zero Knowledge -- Secure Software Leasing Without Assumptions -- The Round Complexity of Quantum Zero-Knowledge -- Rate-1 Quantum Fully Homomorphic Encryption -- Unifying Presampling via Concentration Bounds -- Quantum Key-length Extension -- Relationships between quantum IND-CPA notions -- Classical Binding for Quantum Commitments -- Unclonable Encryption, Revisited -- Somewhere Statistical Soundness, Post-Quantum Security,



and SNARGs -- Black-Box Impossibilities of Obtaining 2-Round Weak ZK and Strong WI from Polynomial Hardness -- Tight Security Bounds for Micali's SNARGs -- Acyclicity Programming for Sigma-Protocols.-Statistical ZAPs from Group-Based Assumptions -- Generalized Proofs of Knowledge with Fully Dynamic Setup -- Fully-succinct Publicly Verifiable Delegation from Constant-Size Assumptions -- On expected polynomial runtime in cryptography.-Information-Theoretically Secure MPC against Mixed Dynamic Adversaries -- Round-Efficient Byzantine Agreement and Multi-Party Computation with Asynchronous Fallback -- Two-Round Maliciously Secure Computation with Super-Polynomial Simulation -- Adaptive Security of Multi-Party Protocols, Revisited.-On Actively-Secure Elementary MPC Reductions -- Environmentally Friendly Composable Multi-Party Computation in the Plain Model from Standard (Timed) Assumptions.-.

Sommario/riassunto

The three-volume set LNCS 13042, LNCS 13043 and LNCS 13044 constitutes the refereed proceedings of the 19th International Conference on Theory of Cryptography, TCC 2021, held in Raleigh, NC, USA, in November 2021. The total of 66 full papers presented in this three-volume set was carefully reviewed and selected from 161 submissions. They cover topics on proof systems, attribute-based and functional encryption, obfuscation, key management and secure communication.



2.

Record Nr.

UNINA9910865260103321

Autore

Auer Michael E

Titolo

Smart Technologies for a Sustainable Future : Proceedings of the 21st International Conference on Smart Technologies & Education. Volume 2 / / edited by Michael E. Auer, Reinhard Langmann, Dominik May, Kim Roos

Pubbl/distr/stampa

Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024

ISBN

9783031619052

Edizione

[1st ed. 2024.]

Descrizione fisica

1 online resource (450 pages)

Collana

Lecture Notes in Networks and Systems, , 2367-3389 ; ; 1028

Altri autori (Persone)

LangmannReinhard

MayDominik

RoosKim

Disciplina

006.3

Soggetti

Computational intelligence

Engineering - Data processing

Cooperating objects (Computer systems)

Industrial engineering

Production engineering

Computational Intelligence

Data Engineering

Cyber-Physical Systems

Industrial and Production Engineering

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di contenuto

A Machine Learning framework for improving Resources Process and Energy efficiency towards a Sustainable Steel Industry -- Overall Writing Effectiveness Exploring Students Use of Large Language Models Pushing the Limits of Automated Text Generation -- Evaluating Room Occupancy with CO2 Monitoring in Schools A Student Participative Approach for Presence Based Heating Control -- Data driven Mobility And Transport Planning In Municipalities Smart Solutions For Limited Resources -- Investigating the Effect of Personal Emotional Score Display on Classroom Learning.

Sommario/riassunto

This book includes the proceedings of the 21st International



Conference on Smart Technologies & Education (STE2024). The “International Conference on Smart Technologies & Education” (STE) is an annual global meeting dedicated to the fundamentals, applications, and experiences in the field of Smart Technologies, Online, Remote, and Virtual Engineering, Virtual Instrumentation, and other related new technologies. Nowadays, online and smart technologies are the core of most fields of engineering and the whole society. Consequently, the motto of this year’s STE2024 was “Smart Technologies for a Sustainable Future”. The STE conference is the successor of the long-standing annual REV Conferences and the annual meeting of the International Association of Online Engineering (IAOE) together with the EduNet World Association (EWA) and the International Education Network (EduNet). In a globally connected world, the interest in online collaboration, teleworking, remote services, and other digital working environments is rapidly increasing. In response to that, the general objective of this conference is to contribute and discuss fundamentals, applications, and experiences in the field of Online and Remote Engineering, Virtual Instrumentation, and other related new technologies like Cross Reality, Open Science and Big Data, Internet of Things and Industrial Internet of Things, Industry 4.0, Cyber Security, and M2M and Smart Objects. Another objective of the conference is to discuss guidelines and new concepts for engineering education in higher and vocational education institutions, including emerging technologies in learning, MOOCs and MOOLs, and Open Resources. This year, STE2024 has been organized in Helsinki, Finland as an onsite event supporting remote presentations, from March 6 until March 8, 2024. The co-organizers of STE2024 were the Arcada University of Applied Sciences, the International Association of Online Engineering (IAOE) together with the Global Online Laboratory Consortium (GOLC), the International Education Network (EduNet), and the EduNet World Association (EWA). STE2024 has attracted 140 scientists and industrial leaders from more than 40 countries.