Off-Campus Access

The Institute of Mathematical Sciences
Off campus access

Remote access to the IMSc network can be obtained by secure shell (ssh) connections to the machine ( Access will be granted based on RSA/DSA keys only; in particular, password-based access is no longer permitted.

Once you log in to this machine you can log in to any machine within the IMSc network. There is also 200MB of storage space per user on this machine. Mail can be accessed after login via an imap service local to this machine.

WARNING: The machines access1/ that were formerly used for remote access will soon be turned off. If you use those machines regularly then please read these instructions carefully.

WARNING: You may not wish to read these instructions right away. Please file a copy and remember to read it before you go outside IMSc.

The instructions below are for those using Linux and Windows. Please read the sections relevant for you.

    • Obtaining access:
      1. Use the program 'ssh-keygen' to generate a key pair
        ssh-keygen -t dsa
        This is will prompt you to give a pass-phrase with which your private key will be stored encrypted on your local machine in $HOME/.ssh/id_dsa. Choose a non-trivial pass-phrase as otherwise anyone with access to this file will be able to gain access as you.
      2. Send the corresponding public-key file $HOME/.ssh/ to
        mailx -s "My SSH key" < $HOME/.ssh/
        This public-key is for public consumption. You can even put it on your home page!
      3. Wait...
        After this the system administrators will create a home directory for you on the machine and copy this key to the file $HOME/.ssh/authorized_keys on that machine.
      4. You can now log in to by the command
        This can be done from any machine which has the file $HOME/.ssh/id_dsa, but the passphrase will be required to unlock this file for use by ssh.
      5. The machine does *not* have many programs for manipulating mail and files. In order to use your familiar programs and utilities you will have to follow the steps given below.
    • Connecting to other machines in IMSc.
      1. Once you are logged in to you can run "ssh" from this machine to log in to any machine on the IMSc network including your desktop machine.
      2. For more direct access you can use ssh port forwarding and SOCKS.
    • Synchronising files from IMSc.
      1. You can use 200MB of local storage space on in order to copy files from any machine in the IMSc network. For example you can use "scp" or "rsync". (Do not use this for Mail folders that are actively being used).
      2. These files will then be accessible to you from outside IMSc directly by "scp" from
      3. For two way synchronisation the command "unison" is also available.
    • Accessing IMSc mail using IMAP and access.
      1. You can issue the following command from your machine outside IMSc.

        ssh -f -L 1234:localhost:143 sleep 600

        (here 1234 can be replaced by any other number less than 65535).

      2. Now on your machine outside IMSc you can access IMSc mail by giving the IMAP server as "localhost" and IMAP port as 1234 (or whatever port you chose above).
      3. The connection will die after 10 minutes (=600 seconds) you can change the number if you feel you need to be connected for longer.
      4. For two way mail synchronisation the command "mailsync" is also available.

For further questions/comments please get in touch with the IMSc system administrators.

INSTRUCTIONS for generating/using putty for key based login.

    • Download PuTTY
    • Unzip the downloaded file to a directory.
    • Generate the key using puttygen.exe.
    • Execute puttygen
      • move the mouse over the pttygen window
      • give the pass phrase
      • save the private key
      • save the public key
    • send the public key to target machine to .ssh/authorized_keys, for example by email to the sysadmin account as above. (On unix, the key should be in one line. it should be like ssh-dss
    • After generation, there is a puttyagent (pagent.exe). Start this agent. This is like ssh-agent on unix.
      • add the key to the agent.
    • start putty
    • give the host name
    • give the 'user' name
    • That's it. You have logged in as 'user'

INSTRUCTIONS FOR generating/using SSH Secure Shell Client from Windows for key based login.

These are instructions for secure shell client from (version 3.2.9 (Build 283) non commercial version)

    • Follow the menu sequence from ssh window.
      • Edit -> Settings -> Global Settings -> User Authentication -> Keys -> Generate New -> Key type (DSA) -> key length (2048) (This will take some time to generate random number)
    • After this fill the following fields:
      • File name (give the file name)
      • comment (optional)
      • PassPhrase (give the pass phrase - do not leave empty)
      • PassPhrase (re-type the pass phrase)

      This completes the generation. You need to send the public key to the sysadmin account for inclusion in

    • On Windows XP the files will be stored in c:\Documents and Settings\\Application Data\ssh\UserKeys\ (Application Data is a hidden directory)
    • After this, Please send the public key file ( to System Administrators.
      If you are unable to locate the files, you can view the key from Edit -> Settings -> Global Settings -> User Authentication -> Keys -> View Copy and paste the key into your email and send it.


Sep 26 - Room 327 - Logic Seminar by Ramanathan S Thinniyam
Sep 27 - Room 326 - Supersingular reduction and Lubin-Tate theory by Soumyadip Sahu.
Sep 28 - Hall 123 - Pheno Journal Club by Pheno Journal Club
Sep 29 - Room 327 - AlCom seminar series by -
Oct 3 - Room 327 - Logic Seminar by Ramanathan S Thinniyam
Oct 5 - Hall 123 - Pheno Journal Club by Pheno Journal Club

More Seminars