<ruleset name="IACR">
  <target host="iacr.org" />
  <target host="*.iacr.org" />


  <rule from="^http://iacr\.org/"
          to="https://www.iacr.org/" />
  <rule from="^http://([^/:@\.]+\.)?iacr\.org/"
	to="https://$1iacr.org/" />

</ruleset>
