BRICS Basic Research in Computer Science BRICS DS-01-9 F. F. Rodler: Compression with Fast Random Access

Source URL: www.brics.dk

BRICS Basic Research in Computer Science BRICS RSJ. Groth: Extracting Witnesses from Proofs of Knowledge Extracting Witnesses from Proofs of

Source URL: www.brics.dk

• Cryptographic protocols
• Proof of knowledge
• Non-interactive zero-knowledge proof
• Interactive proof system
• IP
• Zero-knowledge proof
• NP
• Soundness
• Oracle machine
• Theoretical computer science
• Cryptography
• Computational complexity theory

BRICS Basic Research in Computer Science BRICS DS-02-4 A. Møller: Program Verification with M2L & Languages for Web Service Development

Source URL: www.brics.dk

• Formal methods
• Logic in computer science
• Notation
• Programming language
• Formal verification
• BRIC
• Michael Schwartzbach
• Logic
• Monad
• Computing
• Software engineering
• Science

XI INTERNATIONAL CONFERENCE MASS MEDIA OF CHINA AND RUSSIA IN THE XXI CENTURY: MEDIA SYSTEMS OF CHINA AND RUSSIA IN THE CONTEXT OF

Source URL: www.journ.msu.ru

• Asia
• Politics
• G20 nations
• Member states of the United Nations
• BRICS
• BRIC
• China
• Russia
• International relations
• Foreign relations of Brazil
• Foreign relations of India

BRICS Basic Research in Computer Science BRICS RSDamg˚ard & Nielsen: Universally Composable Commitments with Constant Expansion Factor Perfect Hiding and Perfect Binding

Source URL: www.brics.dk

• Public-key cryptography
• Secure channel
• Commitment
• Universal composability
• Cryptography
• Cryptographic protocols
• Commitment scheme

BRICS RS-05-9 Frandsen & Miltersen: Reviewing Bounds on the Circuit Size of the Hardest Functions BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Circuit complexity
• Complexity classes
• Mathematical notation
• Computational complexity theory
• Stack
• Boolean circuit
• Summation
• NC
• ACC0
• Theoretical computer science
• Mathematics
• Applied mathematics

Unfair Noisy Channels and Oblivious Transfer Ivan Damg˚ ard1 , Serge Fehr2? , Kirill Morozov1, and Louis Salvail1?? BRICS? ? ? , FICS † , Aarhus University, Denmark {ivan,kirill,salvail}@brics.dk ACAC‡ , Department

Source URL: imi.kyushu-u.ac.jp

• Cryptography
• Commitment scheme
• Channel
• Data
• Noisy-channel coding theorem
• Transmission Control Protocol
• Information theory
• Telecommunications engineering
• Information

BRICS Basic Research in Computer Science BRICS DS-97-3 T. Husfeldt: Dynamic Computation

Source URL: www.brics.dk

• Complexity classes
• Algorithm
• Mathematical logic
• Model of computation
• PP
• Dynamic problem
• P
• ACC0
• Circuit complexity
• Theoretical computer science
• Computational complexity theory
• Applied mathematics

BRICS Basic Research in Computer Science BRICS DSP. B. Oliva: Proof Mining in Subsystems of Analysis Proof Mining in Subsystems of Analysis

Source URL: www.brics.dk

BRICS RSBiernacka et al.: Program Extraction from Proofs of Weak Head Normalization BRICS Basic Research in Computer Science

Source URL: www.brics.dk