| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996418302103316 |
|
|
Titolo |
Theory of cryptography : 18th International Conference, TCC 2020, Durham, NC, USA, November 16-19, 2020, proceedings, part II / / Rafael Pass, Krzysztof Pietrzak (Eds.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham, Switzerland : , : Springer, , [2020] |
|
©2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 715 p. 139 illus., 25 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science ; ; 12551 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Data encryption (Computer science) |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Proof-Carrying Data from Accumulation Schemes -- Linear-Time Arguments with Sublinear Verification from Tensor Codes -- Barriers for Succinct Arguments in the Random Oracle Model -- Accumulators in (and Beyond) Generic Groups: Non-Trivial Batch Verification Requires Interaction -- Batch Verification and Proofs of Proximity with Polylog Overhead -- Batch Verification for Statistical Zero Knowledge Proofs -- Public-Coin Zero-Knowledge Arguments with (almost) Minimal Time and Space Overheads -- On the Price of Concurrency in Group Ratcheting Protocols -- Stronger Security and Constructions of Multi-Designated Verifier Signatures -- Continuous Group Key Agreement with Active Security -- Round Optimal Secure Multiparty Computation from Minimal Assumptions -- Reusable Two-Round MPC from DDH -- Mr NISC: Multiparty Reusable Non-Interactive Secure Computation -- Secure Massively Parallel Computation for Dishonest Majority -- Towards Multiparty Computation Withstanding Coercion of All Parties -- Synchronous Constructive Cryptography -- Topology-Hiding Communication from Minimal Assumptions. -- Information-Theoretic 2-Round MPC without Round Collapsing: Adaptive Security, and More -- On Statistical Security in Two-Party Computation -- The Resiliency of MPC with Low Interaction: The Revisiting Fairness in MPC: Polynomial Number of Parties and General Adversarial Structures -- On the Power of an Honest Majority in Three-Party Computation Without Broadcast -- |
|
|
|
|
|
|
|
|
|
|
|
|
|
A Secret-Sharing Based MPC Protocol for Boolean Circuits with Good Amortized Complexity -- On the Round Complexity of the Shuffle Model. |
|
|
|
|
|
|
Sommario/riassunto |
|
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference on Theory of Cryptography, TCCC 2020, held in Durham, NC, USA, in November 2020. The total of 71 full papers presented in this three-volume set was carefully reviewed and selected from 167 submissions. Amongst others they cover the following topics: study of known paradigms, approaches, and techniques, directed towards their better understanding and utilization; discovery of new paradigms, approaches and techniques that overcome limitations of the existing ones, formulation and treatment of new cryptographic problems; study of notions of security and relations among them; modeling and analysis of cryptographic algorithms; and study of the complexity assumptions used in cryptography. Due to the Corona pandemic this event was held virtually. |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910484640703321 |
|
|
Titolo |
Programming Multi-Agent Systems : 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers / / edited by Koen V. Hindriks, Alexander Pokahr, Sebastian Sardina |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-282-33182-5 |
9786612331824 |
3-642-03278-8 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2009.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (264 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 5442 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Computer networks |
Software engineering |
Computer science |
Compilers (Computer programs) |
Artificial Intelligence |
Computer Communication Networks |
Software Engineering |
Computer Science Logic and Foundations of Programming |
|
|
|
|
|
|
|
|
|
|
|
|
Compilers and Interpreters |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Planning for Interactions among Autonomous Agents -- Planning for Interactions among Autonomous Agents -- Agent Programming Languages -- Exploring Heuristic Action Selection in Agent Programming -- Programming Verifiable Heterogeneous Agent Systems -- Orwell’s Nightmare for Agents? Programming Multi-agent Organisations -- Jazzyk: A Programming Language for Hybrid Agents with Heterogeneous Knowledge Representations -- Multi-agent Systems Frameworks -- PRESAGE: A Programming Environment for the Simulation of Agent Societies -- An Organisational Platform for Holonic and Multiagent Systems -- A Complete-Computerised Delphi Process with a Multi-Agent System -- Agent Environments and Tools -- How Situated Is Your Agent? A Cognitive Perspective -- An Awareness Model for Agents in Heterogeneous Environments -- Infrastructure for Forensic Analysis of Multi-Agent Systems -- Toolipse: An IDE for Development of JIAC Applications -- Kerberos-Based Secure Multiagent Platform -- Agent Contest -- Agent Contest Competition: 4th Edition -- AC08 System Description -- Herding Agents - JIAC TNG in Multi-Agent Programming Contest 2008 -- On Herding Artificial Cows: Using Jadex to Coordinate Cowboy Agents -- Using Jason and oise ?+? to Develop a Team of Cowboys -- Dublin Bogtrotters: Agent Herders -- SHABaN Multi-agent Team To Herd Cows. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Programming Multi-Agent Systems, ProMAS 2008, held in Estoril, Portugal, in May 2008 as an associated event of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems. The 12 revised full papers presented together with 1 invited lecture address current issues in the areas of agent platforms, environment and interaction, agent programming languages, and analysis of MAS. The papers are organized in topical sections on agent programming languages, multi-agent systems frameworks, as well as agent environments and tools. The volume is concluded with a selection of 6 short papers related to the Agent Contest 2008 that has been organized since 2006 in conjunction with ProMAS. |
|
|
|
|
|
|
|
| |