>In the history of cryptology, women tend to be either systematically excluded or reduced to objects.<p>This is probably true, but cryptography/theoretical computer science might be one area where women have better representation than in other subfields of hard sciences.<p><a href="https://en.wikipedia.org/wiki/Shafi_Goldwasser" rel="nofollow">https://en.wikipedia.org/wiki/Shafi_Goldwasser</a>, who invented a huge portion of modern crypto (zero-knowledge, set lower bound, doubly-efficient proofs, etc.)<p><a href="https://en.wikipedia.org/wiki/Irit_Dinur" rel="nofollow">https://en.wikipedia.org/wiki/Irit_Dinur</a>, who basically invented property testing as well as a novel proof of the PCP theorem that wasn't hundreds of pages long<p><a href="http://www.cs.utexas.edu/~danama/" rel="nofollow">http://www.cs.utexas.edu/~danama/</a>, also known for her work on the PCP theorem (wife of Scott Aaronson)<p><a href="http://elaineshi.com/" rel="nofollow">http://elaineshi.com/</a>, several papers on making ORAM and secure multiparty computation practical<p>Probably notable that the first three listed are all from/at the Weizmann Institute in Israel.