IPEC Winter 2007

Wenn über Lernen Lehrer lehren, lernen Lerner Lehren. Die heutige IT-Branche lebt davon, dass viele Menschen mit ihren Produkten umgehen können. Um das zu erreichen, werden, besonders bei anspruchsvollen Aufgabenstellungen, Lehrgänge angeboten. Oft bestehen diese dann aus einem mehr oder weniger ansprechenden Vortrag und die potentiellen Anwender hören zu... zumindest eine Weile. Das ist ...

This course is a brief introduction to the theory and practice of designing using embedded systems. The following topics will be discussed (Links to further references will be announced soon):

• Examples for embedded Systems and their applications
• Structure of embedded systems
• Design methodologies
• Programming Embedded systems
• Peripherals for ...

Provable Security is an important research area in cryptography. Cryptographic primitives or protocols without a rigorous proof cannot be regarded as secure in practice. There are many schemes that are originally thought as secure being successfully cryptanalyzed, which clearly indicates the need of formal security assurance. With provable security, we are confident in using cryptographic ...

The use of randomness in computation is the topic of this course:

• Some examples: finger-printing huge databases, congestion-avoiding routing in networks, testing integers for primality.
• Sources of true randomness.
• Distilling excellent randomness out of a miserable source of randomness
• Extending a small amount of true randomness to a huge amount of pseudorandomness; the latter is just as good for computational purposes.