david wagner
david wagner
david wagner
associate professor
computer science division
university of california, berkeley
research interests.
computer security, especially security of large-scale systems and networks.
applications of static and dynamic program analysis to computer security.
i am currently working on software security,
electronic voting,
and other topics.
i participate in the
trust and
accurate centers.
in the past, i was a co-founder of the
isaac research group.
in the past, i have worked on
wireless security,
sensor network security, and
cryptography.
publications. my technical papers and
publications are all available online. some of my
technical talks are also available, too.
teaching.
i am teaching cs 261 (computer security)
in fall 2007.
see also my past teaching.
students.
i'm lucky to have the chance to work with a group of
outstanding graduate students:
karl chen,
arel cordero,
chris karlof,
adrian mettler,
david molnar,
and
ka-ping yee.
see also the students i've graduated.
contacting me.
see my contact information for my address
and other details.
professional activities.
i'm currently involved with the
2008
ieee security & privacy symposium (program committee member)
and
crypto 2008
(program committee chair).
submit your best work!
software.
available:
cqual++,
a tool for type inference analysis of c and c++ code;
mops,
a tool for verifying security properties of c code;
and boon,
a tool for finding buffer overrun vulnerabilities in c code.
resources i maintain.
information on collecting randomness
for cryptographic purposes.
a large list of the home pages of some
crypto and security researchers.
david wagner,
daw@cs.berkeley.edu,
http://www.cs.berkeley.edu/~daw/.
david wagner Précédent 811 Précédent 810 Précédent 809 Précédent 808 Précédent 807 Précédent 806 Précédent 805 Précédent 804 Précédent 803 Précédent 802 Précédent 801 Précédent 800 Précédent 799 Précédent 798 Précédent 797 Précédent 796 Précédent 795 Précédent 794 Précédent 793 Précédent 792 Précédent 791 Précédent 790 Précédent 789 Précédent 788 Précédent 787 Précédent 786 Précédent 785 Précédent 784 Précédent 783 Précédent 782 Suivant 813 Suivant 814 Suivant 815 Suivant 816 Suivant 817 Suivant 818 Suivant 819 Suivant 820 Suivant 821 Suivant 822 Suivant 823 Suivant 824 Suivant 825 Suivant 826 Suivant 827 Suivant 828 Suivant 829 Suivant 830 Suivant 831 Suivant 832 Suivant 833 Suivant 834 Suivant 835 Suivant 836 Suivant 837 Suivant 838 Suivant 839 Suivant 840 Suivant 841 Suivant 842