Where should I begin researching in Language Security? I don’t have a solid foundation in Programming Language theory and Theory of Computation. Should I start there?
What are the common problems dealt with in Language Security?
+ Language Complexity?
+ Encapsulation Ambiguity?
+ Formal Proof Language/Protocol?
+ Fuzzing Protcols?
+ “Weird Machine” analysis?
systmkor
signature.asc
Description: Message signed with OpenPGP using GPGMail
_______________________________________________ langsec-discuss mailing list [email protected] https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss
