שפות פורמליות, מכונות מצבים סופיות דטרמיניסטיות ולא דטרמיניסטיות,

שפות רגולריות, ביטויים רגולריים, דקדוקים חסרי הקשר, מכונות מחסנית,

הקורס ידון במטרות אבטחה וסוגי תקיפה של תקשורת, בהצפנה בעזרת מפתח סימטרי ובמפתח פומבי.

יוצגו ויתורגלו שיטות של תקיפת צפנים, פרוטוקולים להפצת מפתחות הצפנה, ועקרונות ההצפנה באינטרנט.

יידונו ויודגמו מושגים באבטחת מערכת מחשב.

במסגרת הסמינר יוצגו בפני המשתתפים בו מספר נושאים , אותם יחקרו וילמדו הסטודנטים . בכל שבוע יוצג נושא שונה, עליו ייערך דיון ע"י כל המשתתפים.

בנוסף, כל סטודנט יכין עבודה סמינריונית מעמיקה לגבי אחד הנושאים של הסמינר. דו"ח עבודת הסמינריון יוגש בסופו של הקורס.